The temporal logic of reactive and concurrent systems / Zohar Manna, Amir Pnueli.
By: Manna, Zohar
.
Contributor(s): Pnueli, Amir.
Material type: 
BookPublisher: New York : Springer-Verlag, c1992Description: (V-1), xiv, 427p. : ill. ; 25 cm.ISBN: 0387976647 (New York : v. 1); 3540976647 (Berlin : v. 1).Subject(s): Computer programming | Logic, Symbolic and mathematicalDDC classification: 005.1 Online resources: Publisher description
| Item type | Current location | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Library, Institute of Information and Communication Technology General Stacks | 005.1 NAT (Browse shelf) | 1 | Available | I000470 | |
|
Books
|
Library, Institute of Information and Communication Technology General Stacks | 005.1 NAT (Browse shelf) | 2 | Available | I000469 | |
|
Books
|
Library, Institute of Information and Communication Technology General Stacks | 005.1 NAT (Browse shelf) | 3 | Available | I000468 |
Includes bibliographical references (p. 389-401) and indexes.
There are no comments for this item.