Books listed by ISBN

Zohar Manna

Zero Miyama

titlemedia type ISBN-13year of publica-
tion		other author(s)
Introduction to Mathematical Theory of ComputationPaperback 978-0-07-085466-61974
Mathematical Theory of Computation   " 978-0-486-43238-02003Mathematics
Mathematical Theory of ComputationHardcover 978-0-07-039910-51974
Temporal Verification of Reactive Systems: Safety   " 978-0-387-94459-31995Amir Pnueli
Temporal Verification of Reactive Systems, SafetyGebunden
978-3-540-94459-11995   "
The Calculus of Computation: Decision Procedures with Applications to VerificationTaschenbuch
978-3-642-09347-02010Aaron R. Bradley
The Calculus of Computation: Decision Procedures with Applications to VerificationGebunden
978-3-540-74112-12007   "
The Deductive Foundations of Computer ProgrammingPaperback 978-0-201-54886-01993Richard Waldinger
The Temporal Logic of Reactive and Concurrent SystemsGebunden
978-3-540-97664-61992Amir Pnueli
The Temporal Logic of Reactive and Concurrent Systems: SpecificationHardcover 978-0-387-97664-81991   "
Time for Verification: Essays in Memory of Amir PnueliTaschenbuch
978-3-642-13753-22010Doron A. Peled

Addison-Wesley · Dover Publications · McGraw-Hill · Springer

 

Zohary M