Hoppa till sidans huvudinnehåll

Amir Pnueli – författare

Visar alla böcker från författaren .
9 produkter
Zohar Manna, Amir Pnueli - Temporal Verification of Reactive Systems, Inbunden

Temporal Verification of Reactive Systems

Safety

AvZohar Manna,Amir Pnueli

Inbunden, Engelska, 1995

1 439 kr

Skickas inom 10-15 vardagar

Zohar Manna, Amir Pnueli - Temporal Logic of Reactive and Concurrent Systems, Inbunden

Temporal Logic of Reactive and Concurrent Systems

Specification

AvZohar Manna,Amir Pnueli

Inbunden, Engelska, 1991

1 589 kr

Skickas inom 10-15 vardagar

Zohar Manna, Amir Pnueli - Temporal Logic of Reactive and Concurrent Systems, Häftad

Temporal Logic of Reactive and Concurrent Systems

Specification

AvZohar Manna,Amir Pnueli

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar

Zohar Manna, Amir Pnueli - Temporal Verification of Reactive Systems, Häftad

Temporal Verification of Reactive Systems

Safety

AvZohar Manna,Amir Pnueli

Häftad, Engelska, 2012

1 589 kr

Skickas inom 10-15 vardagar

Freek Wiedijk, Oded Maler, Amir Pnueli - Hybrid Systems: Computation and Control, Häftad

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

Behnam Banieqbal, Howard Barringer, Amir Pnueli - Temporal Logic in Specification, Häftad

Temporal Logic in Specification

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

AvBehnam Banieqbal,Howard Barringerm. fl.

Häftad, Engelska, 1989

729 kr

Skickas inom 10-15 vardagar

Willem-Paul de Roever, Hans Langmaack, Amir Pnueli - Compositionality: The Significant Difference, Häftad

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

Amir Pnueli, Andrei Voronkov - Perspectives of Systems Informatics, Häftad

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

729 kr

Skickas inom 10-15 vardagar

A PNUELI H LIN, Amir Pnueli, H Lin - Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang, Inbunden

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 379 kr

Tillfälligt slut