For Publishers
All
Subject
Title
Author
Publisher
Series Title
All
Subject
Title
Author
Publisher
Series Title
Amir Pnueli
Amir Pnueli is the author of "Verification of Sequential and Concurrent Programs", "Temporal Verification of Reactive Systems", "The Temporal Logic of Reactive Systems" and "Perspectives of Systems Informatics".
Books by Amir Pnueli
View more
Verification of S...
Apt, Krzysztof R.
Electronic book text:
Temporal Verifica...
Manna, Zohar
Hardback:
Verification of S...
Springer
Paperback:
Perspectives of S...
Pnueli Amir
Paperback: