Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis

Purchase suggestions

Image from Google Jackets

Normal view MARC view ISBD view

Symbolic model checking

By:

McMillan Kenneth L

Material type: Text

Text

TextLanguage: English Publication details: Boston Kluwer Academic 1993Description: xv,194pISBN:

0-7923-9380-5

Subject(s):

DDC classification:

621.392 M167

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

Holdings ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
Books	ISI Library, Kolkata	621.392 M167 (Browse shelf(Opens below))	Available		119376

Total holds: 0

Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)

Previous					No cover image available			Next
Previous	621.392 L482 VHDL	621.392 L482 VHDL	621.392 L728 Designing digital computer systems with Verilog	621.392 M167 Symbolic model checking	621.392 N316 Verilog digital system design	621.392 P462 VHDL: programming by example/	621.392 W263 Computation structures	Next

There are no comments on this title.

to post a comment.

Place hold
Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS
More searches

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

Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in