| | Books 1 - 8 of 8 | Previous | Next | 
|  | | The Temporal Logic of Reactive and Concurrent Systems: Specification: 001
by Zohar Manna, Amir Pnueli
Hardcover, 448 Pages, Published 1991 by Kluwer Academic Publishers
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Temporal Verification of Reactive Systems: Safety
by Zohar Manna, Amir Pnueli
Hardcover, 512 Pages, Published 1995 by Springer-Verlag New York Inc.
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Compositionality: The Significant Difference: International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997, Revised Lectures: v. 1536 (Lecture Notes in Computer Science)
by W-.P.De Roever, Hans Langmaack, Amir Pnueli, W. Deroever (Editor)
Paperback, 647 Pages, Published 1998 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Hybrid Systems - Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings: v. 2623 (Lecture Notes in Computer Science)
by Freek Wiedijk (Editor), Oded Maler (Editor), Amir Pnueli (Editor)
Paperback, 558 Pages, Published 2003 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings (Lecture Notes in Computer Science)
by Behnam Banieqbal (Editor), H. Barringer (Editor), Amir Pnueli (Editor)
Paperback, 448 Pages, Published 1989 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Compare Prices | Add to Wish List | Set Price Alert |
|  | | The Temporal Logic of Reactive and Concurrent Systems Specification
by Zohar Manna, Amir Pnueli
Hardcover, 441 Pages, Published 1992 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Models for reactivity
by Zohar Manna, Amir Pnueli
Unknown Binding, Published 1993 by Department of Computer Science, Stanford University
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Verification of multiprocess probabilistic protocols
by Amir Pnueli, Lenore Zuck
Unknown Binding, Published 1984 by n p
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 8 of 8 | Previous | Next |
|