Amir Pnueli

No bio available. Add one in Open Library.

Books by Amir Pnueli (50 max)

+ shelf+ list

The Temporal Logic of Reactive and Concurrent Systems: Specification

1991

Zohar Manna, Amir Pnueli

+ shelf+ list

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

2010

Amir Pnueli

+ shelf+ list

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings (Lecture Notes in Computer Science)

2003

Oded Maler, Amir Pnueli, Freek Wiedijk

+ shelf+ list

Hybrid Systems : Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

2003

Freek Wiedijk, Oded Maler, Amir Pnueli

+ shelf+ list

Compositionality : the Significant Difference International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures

2003

Willem-Paul de Roever, Hans Langmaack, Amir Pnueli

+ shelf+ list

Temporal Logic in Specification (Lecture Notes in Computer Science)

2007

Howard Barringer, Amir Pnueli

+ shelf+ list

Verification of Sequential and Concurrent Programs

2010

Krzysztof Apt, Frank S. de Boer, Amir Pnueli