Amir Pnueli – författare

Visar alla böcker från författaren Amir Pnueli.

8 produkter

Kategorier

8 produkter

Temporal Verification of Reactive Systems
Safety
AvZohar Manna,Amir Pnueli
Inbunden, Engelska, 1995
1 479 kr
Skickas inom 10-15 vardagar
Temporal Logic of Reactive and Concurrent Systems
Specification
AvZohar Manna,Amir Pnueli
Inbunden, Engelska, 1991
1 629 kr
Skickas inom 10-15 vardagar
Temporal Logic of Reactive and Concurrent Systems
Specification
AvZohar Manna,Amir Pnueli
Häftad, Engelska, 2012
739 kr
Skickas inom 10-15 vardagar
Temporal Verification of Reactive Systems
Safety
AvZohar Manna,Amir Pnueli
Häftad, Engelska, 2012
1 629 kr
Skickas inom 10-15 vardagar
Hybrid Systems: Computation and Control
6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
AvFreek Wiedijk,Oded Malerm. fl.
Häftad, Engelska, 2003
1 479 kr
Skickas inom 10-15 vardagar
Temporal Logic in Specification
Altrincham, UK, April 8-10, 1987, Proceedings
AvBehnam Banieqbal,Howard Barringerm. fl.
Häftad, Engelska, 1989
749 kr
Skickas inom 10-15 vardagar
Compositionality: The Significant Difference
International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures
AvWillem-Paul de Roever,Hans Langmaackm. fl.
Häftad, Engelska, 1998
1 479 kr
Skickas inom 10-15 vardagar
Perspectives of Systems Informatics
7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers
AvAmir Pnueli,Andrei Voronkov
Häftad, Engelska, 2010
749 kr
Skickas inom 10-15 vardagar