Normal view MARC view ISBD view

PRINCIPLES OF MODEL CHECKING

By: BAIER, C.
Material type: materialTypeLabelBookPublisher: Cambridge MIT Press 2008Description: xvii+975p.,26x21Cms.ISBN: 0262026499.DDC classification: 621.3819642 B1529
    average rating: 0.0 (0 votes)
Item type Current location Call number Status Date due Barcode
Books Books CENTRAL LIBRARY
621.3819642 B1529 (Browse shelf) Available 089313

There are no comments for this item.

Log in to your account to post a comment.