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ț: 402.80 lei 503.51 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.86 lei 763.57 lei
38-45 zile
-20%
Verification of Sequential and Concurrent Programs
Autor Krzysztof R. Apt et al.
14 mar 2012
Paperback
Preț: 527.46 lei 659.32 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ț: 580.45 lei 725.56 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ț: 332.20 lei 415.25 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ț: 327.41 lei 409.26 lei
6-8 săpt.
-20%
Programmverifikation: Sequentielle, parallele und verteilte Programme
Autor Krzysztof R. Apt et al.
21 mar 1994
Paperback
Preț: 234.48 lei 293.10 lei
6-8 săpt.
-20%