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%
Cărți de Ernst-Rüdiger Olderog
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%
Programmverifikation: Sequentielle, parallele und verteilte Programme
Autor Krzysztof R. Apt et al.
21 mar 1994
Paperback
Preț: 231.97 lei 289.97 lei
6-8 săpt.
-20%
Correct System Design
Editat de Ernst-Rüdiger Olderog et al.
22 sep 1999
Paperback
Preț: 329.35 lei 411.69 lei
6-8 săpt.
-20%
Formal Techniques in Real-Time and Fault-Tolerant Systems
Editat de Werner Damm et al.
28 aug 2002
Paperback
Preț: 330.96 lei 413.70 lei
6-8 săpt.
-20%
Model Checking, Synthesis, and Learning
Editat de Ernst-Rüdiger Olderog et al.
22 noi 2021
Paperback
Preț: 389.85 lei 487.32 lei
3-5 săpt. | 7-13 zile
-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%