Amazon cover image

Image from Amazon.com

Image from Google Jackets

Normal view MARC view ISBD view

Introduction to Practical Formal Methods Using Temporal Logic An Introduction Michael Fisher

By:

Fisher, Michael

Material type: Text

Text

TextPublication details: Wiley India New Delhi 2011Description: vi; 353pISBN:

9780470027882

Genre/Form:

DDC classification:

511.1 FIS

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

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Call number	Status	Barcode
Books	SNU LIBRARY	511.1 FIS (Browse shelf(Opens below))	Available	4437

Total holds: 0

There are no comments on this title.

to post a comment.

Place hold
Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com)

Share

© Copyright Shiv Nadar University 2012. All Rights Reserved. Disclaimer | Sitemap
The Shiv Nadar University has been established under U.P. Act No 12 of 2011. Shiv Nadar University is UGC Approved.