Languages
Subject
Format
Availabity
Clear 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)
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)
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)
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)
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