Normal view MARC view ISBD view

Symbolic model checking

Material type: materialTypeLabel

BookPublisher: New York Springer Science 1993Description: xv, 194p.ISBN: 9780792393801.

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

average rating: 0.0 (0 votes)

Item type	Current location	Call number	Status	Date due	Barcode
		621.392 McM (Browse shelf)	Available		515473

There are no comments for this item.

IIITB Library