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
43-57 zile
-20%
Cărți de Ernst-Rüdiger Olderog
Programmverifikation: Sequentielle, parallele und verteilte Programme
Autor Krzysztof R. Apt et al.
21 mar 1994
Paperback
Preț: 231.97 lei 289.97 lei
43-57 zile
-20%
Correct System Design
Editat de Ernst-Rüdiger Olderog et al.
22 sep 1999
Paperback
Preț: 329.35 lei 411.69 lei
43-57 zile
-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
43-57 zile
-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
22-36 zile | 6-12 zile
-20%
Provably Correct Systems
Editat de Mike Hinchey et al.
3 mai 2018
Paperback
Preț: 647.27 lei 809.09 lei
38-44 zile
-20%