Temporal Verification of Reactive Systems
Autor Zohar Manna et al.
22 aug 2012
Paperback
Preț: 718.61 lei 898.27 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ț: 558.72 lei 698.40 lei
6-8 săpt.
-20%
The Temporal Logic of Reactive and Concurrent Systems
Autor Zohar Manna et al.
17 oct 2012
Paperback
Preț: 342.69 lei 428.36 lei
6-8 săpt.
-20%
Mathematical Theory of Computation
Autor Zohar Manna
24 dec 2003
Paperback
Preț: 146.45 lei
3-5 săpt.