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: Recent Insights and Advances
Editat de Ernst-Rüdiger Olderog et al.
22 sep 1999
Paperback
Preț: 324.19 lei 405.23 lei
43-57 zile
-20%
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings
Editat de Werner Damm et al.
28 aug 2002
Paperback
Preț: 328.94 lei 411.17 lei
43-57 zile
-20%
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
Editat de Ernst-Rüdiger Olderog et al.
22 noi 2021
Paperback
Preț: 389.11 lei 486.39 lei
22-36 zile | 5-11 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%