Model checking E.M. Clarke, et al

TextPublication details: Cambridge MIT Press 1999 Description: xiv 314ISBN: 9780262032704Subject(s): Model CheckingDDC classification: 18

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	Materials specified	Status	Date due	Barcode
Books	TIFR CAM Library	CML	18 CLAR (Browse shelf(Opens below))		Available		M8444

There are no comments on this title.

to post a comment.