NUST Institutions Library Catalogue catalog › Details for: An Introduction toPractical Formal Methods Using Temporal Logic

Normal view MARC view ISBD view

An Introduction toPractical Formal Methods Using Temporal Logic Fisher Michael

Material type: Text

TextISBN: 9780470027882LOC classification: 511.3FIS

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

Item type	Current location	Home library	Shelving location	Call number	Status	Date due	Barcode	Item holds
Book	Central Library (CL)	Central Library (CL)	General Stacks		Available		RCMS002247

Total holds: 0

There are no comments on this title.

to post a comment.