Hoppa till sidans huvudinnehåll

Amir Pnueli – författare

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

Temporal Verification of Reactive Systems

Safety

AvZohar Manna,Amir Pnueli

Inbunden, Engelska, 1995

1 439 kr

Skickas inom 10-15 vardagar

Temporal Logic of Reactive and Concurrent Systems

Specification

AvZohar Manna,Amir Pnueli

Inbunden, Engelska, 1991

1 579 kr

Skickas inom 10-15 vardagar

Temporal Logic of Reactive and Concurrent Systems

Specification

AvZohar Manna,Amir Pnueli

Häftad, Engelska, 2012

719 kr

Skickas inom 10-15 vardagar

Temporal Verification of Reactive Systems

Safety

AvZohar Manna,Amir Pnueli

Häftad, Engelska, 2012

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

719 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 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

AvAmir Pnueli,Andrei Voronkov

Häftad, Engelska, 2010

719 kr

Skickas inom 10-15 vardagar

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

AvA PNUELI H LIN,Amir Pnuelim. fl.

Inbunden, Engelska, 1996

2 319 kr

Tillfälligt slut