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

By: Contributor(s): Material type: TextTextPublication details: New York : Springer-Verlag, c1992-.Description: v. <1 > : ill. ; 25 cmISBN:
  • 3540976647 (Berlin : v. 1)
  • 0387976647 (New York : v. 1)
Subject(s): DDC classification:
  • 005.1 20
Other classification:
  • 005.1
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Books Books Junaid Zaidi Library, COMSATS University Islamabad Ground Floor 005.1 MAN-T (Browse shelf(Opens below)) Available 27946
Total holds: 0

All.

There are no comments on this title.

to post a comment.