Temporal Verification of Reactive Systems: Safety
Autor Zohar Manna et al.
22 aug 2012
Paperback
Preț: 686.63 lei 858.30 lei
6-8 săpt.
-20%
Cărți de Zohar Manna
The Calculus of Computation: Decision Procedures with Applications to Verification
Autor Aaron R. Bradley et al.
3 sep 2007
Hardback
Preț: 465.82 lei 582.27 lei
6-8 săpt.
-20%
The Temporal Logic of Reactive and Concurrent Systems: Specification
Autor Zohar Manna et al.
17 oct 2012
Paperback
Preț: 326.72 lei 408.40 lei
6-8 săpt.
-20%