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
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%
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%
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
6-8 săpt.
-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
6-8 săpt.
-20%
Provably Correct Systems
Editat de Mike Hinchey et al.
10 mar 2017
Hardback
Preț: 661.12 lei 826.40 lei
38-44 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.41 lei 486.76 lei
3-5 săpt. | 6-10 zile
-20%