Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Author Amir Pnueli

8 products
Price
Binding
6
2
Date of issue
?
Temporal Verification of Reactive Systems Zohar Manna / Hardback
common.buy 102.97 €
Compositionality: The Significant Difference Hans Langmaack / Paperback
common.buy 102.97 €
The Temporal Logic of Reactive and Concurrent Systems Zohar Manna / Paperback
common.buy 51.68 €
Hybrid Systems: Computation and Control Freek Wiedijk / Paperback
common.buy 102.97 €
Temporal Logic in Specification Benham Banieqbal / Paperback
common.buy 51.68 €
Perspectives of Systems Informatics Amir Pnueli / Paperback
common.buy 51.68 €
Temporal Logic of Reactive and Concurrent Systems Zohar Manna / Hardback
common.buy 113.29 €
Temporal Verification of Reactive Systems Zohar Manna / Paperback
common.buy 113.29 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?