18 results
Type of media (2)
Availability (3)
Classification (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
18 results

Your search for Amir Pnueli

  1. Cover: Temporal Verification of Reactive Systems - Springer
    Zohar Manna | Amir Pnueli
    Temporal Verification of Reactive Systems
    Safety
    12/2012
    Springer
    9781461242222 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  2. Cover: The Temporal Logic of Reactive and Concurrent Systems - Springer
    Zohar Manna | Amir Pnueli
    The Temporal Logic of Reactive and Concurrent Systems
    Specification
    12/2012
    Springer
    9781461209317 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Hybrid Systems: Computation and Control - Springer
    Freek Wiedijk | Oded Maler | Amir Pnueli
    Hybrid Systems: Computation and Control
    6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
    07/2003
    Springer
    9783540365808 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  4. Cover: Verification of Sequential and Concurrent Programs - Springer
    Krzysztof R. Apt | Frank S. de Boer | Ernst-Rüdiger Olderog
    Verification of Sequential and Concurrent Programs
    09/2009
    3rd EDN3rd Edition
    Springer
    9781848827455 (ISBN)
    E-Book
    PDF
    Other editions
    €85.59
    Available for download
  5. Cover: Perspectives of Systems Informatics - Springer
    Amir Pnueli | Andrei Voronkov
    Perspectives of Systems Informatics
    7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers
    02/2010
    Springer
    9783642114854 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  6. Cover: Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang - World Scientific Publishing Co Pte Ltd
    Amir Pnueli | H. Lin
    Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang
    10/1996
    World Scientific Publishing Co Pte Ltd
    9789810228040 (ISBN)
    Book
    Hardback
    Other editions
    €148.56
    Article not available at the moment
  7. Cover: The Temporal Logic of Reactive and Concurrent Systems - Springer
    Zohar Manna | Amir Pnueli
    The Temporal Logic of Reactive and Concurrent Systems
    Specification
    12/1991
    Springer
    9780387976648 (ISBN)
    Book
    Hardback
    Other editions
    €117.69
    Shipment within 5-7 days
  8. Cover: Temporal Verification of Reactive Systems - Springer
    Zohar Manna | Amir Pnueli
    Temporal Verification of Reactive Systems
    Safety
    08/1995
    Springer
    9780387944593 (ISBN)
    Book
    Hardback
    Other editions
    €106.99
    Shipment within 5-7 days
  9. Cover: The Temporal Logic of Reactive and Concurrent Systems - Springer
    Zohar Manna | Amir Pnueli
    The Temporal Logic of Reactive and Concurrent Systems
    Specification
    10/2012
    Springer
    9781461269502 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 15-20 days
  10. Cover: Temporal Verification of Reactive Systems - Springer
    Zohar Manna | Amir Pnueli
    Temporal Verification of Reactive Systems
    Safety
    08/2012
    Springer
    9781461287018 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €117.69
    Shipment within 15-20 days
  11. Cover: Verification of Sequential and Concurrent Programs - Springer
    Krzysztof R. Apt | Frank S. de Boer | Ernst-Rüdiger Olderog
    Verification of Sequential and Concurrent Programs
    03/2012
    3rd EDN3rd Edition
    Springer
    9781447125136 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €85.59
    Shipment within 15-20 days
  12. Cover: Hybrid Systems: Computation and Control - Springer
    Freek Wiedijk | Oded Maler | Amir Pnueli
    Hybrid Systems: Computation and Control
    6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
    03/2003
    Springer
    9783540009139 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  13. Cover: Compositionality: The Significant Difference - Springer
    Willem-Paul de Roever | Hans Langmaack | Amir Pnueli
    Compositionality: The Significant Difference
    International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures
    12/1998
    Springer
    9783540654933 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  14. Cover: Verification of Sequential and Concurrent Programs - Springer
    Krzysztof R. Apt | Frank S. de Boer | Ernst-Rüdiger Olderog
    Verification of Sequential and Concurrent Programs
    10/2009
    3rd EDN3rd Edition
    Springer
    9781848827448 (ISBN)
    Book
    Hardback
    Other editions
    €106.99
    Shipment within 15-20 days
  15. Cover: Temporal Logic in Specification - Springer
    Behnam Banieqbal | Howard Barringer | Amir Pnueli
    Temporal Logic in Specification
    Altrincham, UK, April 8-10, 1987, Proceedings
    10/1989
    Springer
    9783540518037 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  16. Cover: The Temporal Logic of Reactive and Concurrent Systems - Springer
    Zohar Manna | Amir Pnueli
    The Temporal Logic of Reactive and Concurrent Systems
    12/1991
    Springer
    9781461209324 (ISBN)
    Book
    Paperback/Softback
    €42.99
    Not available
  17. This image is currently not available.
    Amir Pnueli | Irina Virbitskaite | Andrei Voronkov
    Perspectives of Systems Informatics
    11/2010
    Springer
    9783642114878 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  18. This image is currently not available.
    Zohar Manna | Amir Pnueli
    The Temporal Logic of Reactive and Concurrent Systems
    Specification
    01/1992
    Springer
    9783540976646 (ISBN)
    Book
    Hardback
    €49.52
    Exhausted; no reprint