Amir Pnueli

Identifiers

Open LibraryOL2683975A

Top Subjects

Computer software, verification (1)
Computer science (1)
Logic design (1)
Software engineering (1)

Books by Amir Pnueli

Total count: 7

Temporal Logic of Reactive and Concurrent Systems

Island Press1991-01-01
Compositionality : the Significant DifferenceInternational Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures

Springer London, Limited2003-01-01
Hybrid Systems : Computation and Control6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

Springer London, Limited2003-01-01
Verification of Sequential and Concurrent Programs

Springer London, Limited2009-01-01
Perspectives of Systems Informatics7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Springer Berlin Heidelberg2010-01-01
Verification of Sequential and Concurrent Programs

Springer2010-05-03
Temporal Verification of Reactive SystemsSafety

Springer2014-01-17