Normal view MARC view ISBD view

The temporal logic of reactive and concurrent systems [Book] / Zohar Manna, Amir Pnueli.

By:

Contributor(s):

Material type: Text

TextPublication details: New York : Springer-Verlag, c1992-.Description: v. <1 > : ill. ; 25 cmISBN:

Subject(s):

DDC classification:

Other classification:

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	Call number	Status	Date due	Barcode	Item holds
Books	Junaid Zaidi Library, COMSATS University Islamabad Ground Floor	005.1 MAN-T (Browse shelf(Opens below))	Available		27946

Total holds: 0

Previous				No cover image available				Next
Previous	005.1 LEV-I Introduction to the design & analysis of algorithms	005.1 LEV-I Introduction to the design & analysis of algorithms	005.1 LIU-S Software performance and scalability a quantitative approach /	005.1 MAN-T The temporal logic of reactive and concurrent systems	005.1 MCC-C 60414 Code Complete a practical handbook of software construction /	005.1 MCC-S Software reuse techniques adding reuse to the system development process /	005.1 MCF-X X Windows on the world developing internationalized software with X, Motif and CDE /	Next

All.

There are no comments on this title.

to post a comment.