Temporal Verification of Reactive Systems
Autor Zohar Manna et al.
22 aug 2012
Paperback
Preț: 708.39 lei 885.49 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ț: 467.63 lei 584.54 lei
6-8 săpt.
-20%
The Temporal Logic of Reactive and Concurrent Systems
Autor Zohar Manna et al.
17 oct 2012
Paperback
Preț: 329.78 lei 412.22 lei
6-8 săpt.
-20%
Mathematical Theory of Computation
Autor Zohar Manna
24 dec 2003
Paperback
Preț: 137.75 lei
3-5 săpt.