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ț: 407.67 lei 509.60 lei
6-8 săpt.
-20%
Cărți de Ernst-Rüdiger Olderog
Provably Correct Systems
Editat de Mike Hinchey et al.
10 mar 2017
Hardback
Preț: 610.87 lei 763.59 lei
38-44 zile
-20%
Verification of Sequential and Concurrent Programs
Autor Krzysztof R. Apt et al.
14 mar 2012
Paperback
Preț: 533.86 lei 667.33 lei
6-8 săpt.
-20%
Real-Time Systems: Formal Specification and Automatic Verification
Autor Ernst-Rüdiger Olderog et al.
10 sep 2008
Hardback
Preț: 587.51 lei 734.38 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ț: 336.22 lei 420.27 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ț: 331.36 lei 414.20 lei
6-8 săpt.
-20%
Programmverifikation: Sequentielle, parallele und verteilte Programme
Autor Krzysztof R. Apt et al.
21 mar 1994
Paperback
Preț: 237.34 lei 296.68 lei
6-8 săpt.
-20%