Amir Pnueli

Amir Pnueli (; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient. Provided by Wikipedia
1
Perspectives of Systems Informatics [E-Book] : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers /
Other Personal Name(s): “...Pnueli, Amir...”

Full text 
Favorites
Saved in:
2
Hybrid Systems: Computation and Control [E-Book] : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings /
Other Personal Name(s): “...Pnueli, Amir....”

Full text 
Favorites
Saved in:
3
Compositionality: The Significant Difference [E-Book] : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures /
Other Personal Name(s): “...Pnueli, Amir....”

Full text 
Favorites
Saved in:
4
Temporal logic of reactive and concurrent systems : specification [E-Book] /
Other Personal Name(s): “...Pnueli, Amir...”

Full text 
Favorites
Saved in: