Real-Time Systems: Formal Specification and Automatic Verification
Autor Ernst-Rüdiger Olderog et al.
10 sep 2008
Hardback
Preț: 605.51 lei 756.88 lei
6-8 săpt.
-20%
Cărți de Ernst-Rüdiger Olderog
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%
Provably Correct Systems
Editat de Mike Hinchey et al.
10 mar 2017
Hardback
Preț: 660.61 lei 825.75 lei
38-44 zile
-20%