Languages
Subject
Format
Availabity
Authors

Search result

Zoha Manna, Zohar Manna, Amir Pnueli - The Temporal Logic of Reactive and Concurrent Systems
Zoha Manna, Zohar Manna, Amir Pnueli The Temporal Logic of Reactive and Concurrent Systems English 12.03.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Amir Pnueli, Irin Virbitskaite, Irina Virbitskaite, Voronkov, Andrei Voronkov - Perspectives of Systems Informatics
Amir Pnueli, Irin Virbitskaite, Irina Virbitskaite, Voronkov, Andrei Voronkov Perspectives of Systems Informatics English 09.12.2009 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Zoha Manna, Zohar Manna, Amir Pnueli - Temporal Verification of Reactive Systems
Zoha Manna, Zohar Manna, Amir Pnueli Temporal Verification of Reactive Systems English 26.05.2014 Paperback / Softback Fr. 146.00 1-2 weeks (title will be printed to order)
Behnam Banieqbal, Howar Barringer, Howard Barringer, Amir Pnueli - Temporal Logic in Specification
Behnam Banieqbal, Howar Barringer, Howard Barringer, Amir Pnueli Temporal Logic in Specification English 01.01.1960 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Han Langmaack, Hans Langmaack, Amir Pnueli, Willem-Paul De Roever - Compositionality: The Significant Difference
Han Langmaack, Hans Langmaack, Amir Pnueli, Willem-Paul De Roever Compositionality: The Significant Difference English 19.02.2009 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)
O. Maler, Ode Maler, Oded Maler, A. Pnueli, Amir Pnueli, F. Wiedijk... - Hybrid Systems: Computation and Control
O. Maler, Ode Maler, Oded Maler, A. Pnueli, Amir Pnueli, F. Wiedijk... Hybrid Systems: Computation and Control English 26.06.2009 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)
Zoha Manna, Zohar Manna, Amir Pnueli - The Temporal Logic of Reactive and Concurrent Systems
Zoha Manna, Zohar Manna, Amir Pnueli The Temporal Logic of Reactive and Concurrent Systems English 01.07.2009 Hardback Fr. 146.00 2-3 weeks (title will be printed to order)
Zoha Manna, Zohar Manna, Amir Pnueli - Temporal Verification of Reactive Systems
Zoha Manna, Zohar Manna, Amir Pnueli Temporal Verification of Reactive Systems English 19.05.2003 Hardback Fr. 134.00 2-3 weeks (title will be printed to order)
Krzysztof Apt, Krzysztof R Apt, Krzysztof R. Apt, Frank S. de Boer, Frank de Boer, Frank S de Boer... - Verification of Sequential and Concurrent Programs
Krzysztof Apt, Krzysztof R Apt, Krzysztof R. Apt, Frank S. de Boer, Frank de Boer, Frank S de Boer... Verification of Sequential and Concurrent Programs English 01.01.2009 Hardback Fr. 135.00 6-7 weeks
Krzysztof Apt, Krzysztof R Apt, Krzysztof R. Apt, Frank S. de Boer, Frank de Boer, Frank S de Boer... - Verification of Sequential and Concurrent Programs
Krzysztof Apt, Krzysztof R Apt, Krzysztof R. Apt, Frank S. de Boer, Frank de Boer, Frank S de Boer... Verification of Sequential and Concurrent Programs English 01.12.2013 Paperback / Softback Fr. 97.00 6-7 weeks
Zohar Manna, Amir Pnueli - Temporal Verification of Reactive Systems, Safety
Zohar Manna, Amir Pnueli Temporal Verification of Reactive Systems, Safety English 01.01.1995 Hardback Sold out
Zohar Manna, Amir Pnueli - The Temporal Logic of Reactive and Concurrent Systems
Zohar Manna, Amir Pnueli The Temporal Logic of Reactive and Concurrent Systems English 01.01.1992 Hardback Sold out