Hoppa till sidans huvudinnehåll

Amir Pnueli - Böcker

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

Temporal Verification of Reactive Systems

Safety

Av Zohar Manna, Amir Pnueli

Inbunden, Engelska, 1995

1 439 kr

Skickas inom 10-15 vardagar

Temporal Logic of Reactive and Concurrent Systems

Specification

Av Zohar Manna, Amir Pnueli

Inbunden, Engelska, 1991

1 579 kr

Skickas inom 10-15 vardagar

Temporal Logic of Reactive and Concurrent Systems

Specification

Av Zohar Manna, Amir Pnueli

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar

Temporal Verification of Reactive Systems

Safety

Av Zohar Manna, Amir Pnueli

Häftad, Engelska, 2012

1 589 kr

Skickas inom 10-15 vardagar

Hybrid Systems: Computation and Control

6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

Av Freek Wiedijk, Oded Maler m. fl

Häftad, Engelska, 2003

1 439 kr

Skickas inom 10-15 vardagar

Temporal Logic in Specification

Altrincham, UK, April 8-10, 1987, Proceedings

Av Behnam Banieqbal, Howard Barringer m. fl

Häftad, Engelska, 1989

729 kr

Skickas inom 10-15 vardagar

Compositionality: The Significant Difference

International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Av Willem-Paul de Roever, Hans Langmaack m. fl

Häftad, Engelska, 1998

1 439 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

Av Amir Pnueli, Andrei Voronkov m. fl

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar

Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang

Av A PNUELI H LIN, Amir Pnueli m. fl

Inbunden, Engelska, 1996

2 289 kr

Tillfälligt slut