Temporal Verification of Reactive Systems
Autor Zohar Manna et al.
4 aug 1995
Hardback
Preț: 666.11 lei 832.64 lei
43-57 zile
-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
43-57 zile
-20%
The Temporal Logic of Reactive and Concurrent Systems
Autor Zohar Manna et al.
18 dec 1991
Hardback
Preț: 692.35 lei 865.43 lei
43-57 zile
-20%
Mathematical Theory of Computation
Autor Zohar Manna
24 dec 2003
Paperback
Preț: 137.75 lei
22-36 zile