It looks like you're offline.

Last edited anonymously

April 29, 2008 | History

Edit

Amir Pnueli

We need a photo of Amir Pnueli

7 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

The Temporal Logic of Reactive and Concurrent Systems: Specification

by Zohar Manna and Amir Pnueli First published in 1991
3 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Preview

Preview Book
×Close

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

by Amir Pnueli First published in 2010
2 editions, 1 ebook
Borrow

Listen

Locate
My Reading Lists:

Create a new list
Temporal Logic in Specification (Lecture Notes in Computer Science)

by Howard Barringer and Amir Pnueli First published in 2007
1 edition

Locate

My Reading Lists:

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

by Willem-Paul de Roever, Hans Langmaack, and Amir Pnueli First published in 2003
1 edition

Locate

My Reading Lists:

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

by Freek Wiedijk, Oded Maler, and Amir Pnueli First published in 2003
1 edition

Locate

My Reading Lists:

Create a new list
Verification of Sequential and Concurrent Programs

by Krzysztof Apt, Frank S. de Boer, and Amir Pnueli First published in 2010
1 edition

Locate

My Reading Lists:

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

by Oded Maler, Amir Pnueli, and Freek Wiedijk First published in 2003
1 edition

Locate

My Reading Lists:

Create a new list

We need a photo of Amir Pnueli

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL2683975A

Links outside Open Library

No links yet. Add one?

Download catalog record: RDF / JSON