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ț: 719.65 lei 899.56 lei
43-57 zile
-20%