Model Checking

By: Edmund M. ClarkeContributor(s): Orna Grumberg | Doron A. PeledMaterial type: Text

TextLanguage: English Publication details: MIT Press c1999 Edition: Description: xiv, 314pISBN: 9780262032704 (HB)Subject(s): Computer systems – VerificationDDC classification: 004.21 CLA(MOD)

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 2 )
Comments ( 0 )

Holdings
Item type	Current library	Call number	Materials specified	Copy number	Status	Date due	Barcode	Item holds
Books	Central Library	004.21 CLA(MOD) (Browse shelf(Opens below))		1	Available		20077

Total holds: 0

Browsing Central Library shelves Close shelf browser (Hides shelf browser)

Previous			No cover image available					Next
Previous	004.165 NOR(PET) Peter Norton’s inside the PC	004.165 UFF(FAM) The 8086/8088 family: design, programming, and interfacing	004.21 BIT(USE) Use Case Modelling	004.21 CLA(MOD) Model Checking	004.21 EMB Embedded system design: modeling, synthesis and verification	004.21 LAN(ANA) Analysis and design of information systems	004.21 SMI(INT) Introduction to queueing networks : theory practice	Next

bill No.SAR/01/2014; dt 08-04-2014

There are no comments on this title.

to post a comment.

Place hold
Print
Suggest for purchase
Send to device
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)