| | Books 1 - 10 of 13 | Previous | Next | 
|  | | Temporal Verification of Reactive Systems: Safety (1st Edition)
by Zohar Manna, Amir Pnueli
Hardcover, 512 Pages, Published 1995 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | The Temporal Logic of Reactive and Concurrent Systems: Specification (1st Edition)
by Zohar Manna, Amir Pnueli
Hardcover, 448 Pages, Published 1991 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Temporal Logic in Specification: Altrincham, UK, April 8-0, 987, Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Behnam Banieqbal (Editor), Howard Barringer (Editor), Amir Pnueli (Editor)
Paperback, 448 Pages, Published 1989 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Compositionality: The Significant Difference: International Symposium, COMPOS'97, Bad Malente, Germany, September 8-2, 997, Revised Lectures (Lecture Notes in Computer Science) (v. 536) (1st Edition)
by Willem-Paul de Roever (Editor), Hans Langmaack (Editor), Amir Pnueli (Editor)
Paperback, 647 Pages, Published 1998 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Logic and Software Engineering (1st Edition)
by H. Lin, A. Pnueli
Hardcover, 311 Pages, Published 1996 by World Scientific Publishing Company, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | PORTAL Language Description (Lecture Notes in Computer Science) (v. 198) (2nd extended ed. Edition)
by Arnold Businger, D. Barstow (Editor), W. Brauer (Editor), P. Brinch Hansen (Editor), D. Gries (Editor), D. Luckham (Editor), C. Moler (Editor), A. Pnueli (Editor), G. Seegmüller (Editor), J. Stoer (Editor), N. Wirth (Editor)
Paperback, 197 Pages, Published 1988 by Springer, 2nd extended ed. Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Fluid Mechanics
by David Pnueli, Chaim Gutfinger
Paperback, 520 Pages, Published 1997 by Cambridge University Press
Compare Prices | Add to Wish List | Set Price Alert |
|  | | MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics (Lecture Notes in Computer Science) (1st Edition)
by Andrzej Blikle, D. Barstow (Editor), W. Brauer (Editor), P. Brinch Hansen (Editor), D. Gries (Editor), D. Luckham (Editor), C. Moler (Editor), A. Pnueli (Editor), G. Seegmüller (Editor), J. Stoer (Editor), N. Wirth (Editor)
Paperback, 140 Pages, Published 1987 by Springer, 1st Edition
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 (Lecture Notes in Computer Science) (v. 2623) (1st Edition)
by Freek Wiedijk (Editor), Oded Maler (Editor), Amir Pnueli (Editor)
Paperback, 558 Pages, Published 2003 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Compositionality; The Significant Difference,
by Willem-Paul, Hans Langmaack, Amir Pnueli, Eds. De Roever
Hardcover, Published 1997 by Unknown
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 10 of 13 | Previous | Next |
|