Amir Pnueli – författare

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

8 produkter

1. 

   Temporal Verification of Reactive Systems

   Safety

   Av Zohar Manna, Amir Pnueli

   Inbunden, 1995

   1449 kr

   Lägg i varukorg

2. 

   Temporal Logic of Reactive and Concurrent Systems

   Specification

   Av Zohar Manna, Amir Pnueli

   Inbunden, 1991

   1589 kr

   Lägg i varukorg

3. 

   Temporal Logic of Reactive and Concurrent Systems

   Specification

   Av Zohar Manna, Amir Pnueli

   Häftad, 2012

   729 kr

   Lägg i varukorg

4. 

   Temporal Verification of Reactive Systems

   Safety

   Av Zohar Manna, Amir Pnueli

   Häftad, 2012

   1589 kr

   Lägg i varukorg

5. 

   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, 2003

   1449 kr

   Lägg i varukorg

6. 

   Temporal Logic in Specification

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

   Av Behnam Banieqbal, Howard Barringer m. fl.

   Häftad, 1989

   729 kr

   Lägg i varukorg

7. 

   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, 1998

   1449 kr

   Lägg i varukorg

8. 

   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

   Häftad, 2010

   729 kr

   Lägg i varukorg