Central Library catalog

Normal view MARC view ISBD view

BAIER, C.

PRINCIPLES OF MODEL CHECKING - Cambridge MIT Press 2008 - xvii+975p.,26x21Cms.

ISBN: 0262026499

Dewey Class. No.: 621.3819642 B1529

Powered by Koha Implemented by Total IT Software Solutions