25 years of model checking : history, achievements, perspectives Orna Grumberg, Helmut Veith (eds.).

Contributor(s):

Publisher number: 12326419Series: Lecture notes in computer science ; 5000. | Lecture notes in computer science. Festschrift.Publication details: Berlin : Springer, 2008.Description: vi, 230 p. : ill. ; 24 cmISBN:

Subject(s):

Genre/Form:

DDC classification:

LOC classification:

Online resources:

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Notes	Date due	Barcode
Books	Central Library, IISER Bhopal Reference Section	Reference	005.1 Y32 (Browse shelf(Opens below))	Not For Loan	Reserve		8453

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.