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

Previous	No cover image available							Next
Previous	Introduction to Biomedical Engineering	Computer Simulation of Biomolecular Systems Theoretical and Experimental Applications Vol-3	Molecular Design Concepts and Applications With a Foreword by Hugo Kubnyi	An Introduction toPractical Formal Methods Using Temporal Logic	Games & Simulations Made Easy	The Essential Guide to Storage Area Networks	Coloured Petri Nets Basic Concepts,Analysis Methods and Practical Use Vol-1	Next

There are no comments on this title.

to post a comment.