Temporal Verification of Reactive Systems: Safety
Autor Zohar Manna et al.
4 aug 1995
Hardback
Preț: 639.87 lei 799.84 lei
6-8 săpt.
-20%
Cărți de Amir Pnueli
Verification of Sequential and Concurrent Programs
Autor Krzysztof R. Apt et al.
14 mar 2012
Paperback
Preț: 522.08 lei 652.60 lei
6-8 săpt.
-20%
The Temporal Logic of Reactive and Concurrent Systems: Specification
Autor Zohar Manna et al.
18 dec 1991
Hardback
Preț: 688.52 lei 860.65 lei
6-8 săpt.
-20%