Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
Editat de Tiziana Margaria et al.
5 aug 2021
Paperback
Preț: 320.16 lei 400.20 lei
6-8 săpt.
-20%
Cărți de Bernhard Steffen
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. | 7-13 zile
-20%
Computing and Software Science: State of the Art and Perspectives
Editat de Bernhard Steffen et al.
5 oct 2019
Paperback
Preț: 209.90 lei 262.38 lei
6-8 săpt.
-20%
Bridging the Gap Between AI and Reality
Editat de Bernhard Steffen
2 oct 2025
Paperback
Preț: 274.16 lei 342.70 lei
18-23 zile | 7-13 zile
-20%
Transactions on Foundations for Mastering Change I
Editat de Bernhard Steffen
30 sep 2016
Paperback
Preț: 318.67 lei 398.33 lei
6-8 săpt.
-20%
Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches
Autor Bernhard Steffen et al.
3 apr 2018
Hardback
Preț: 237.56 lei 296.95 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I
Editat de Tiziana Margaria et al.
20 oct 2022
Paperback
Preț: 533.81 lei 667.27 lei
3-5 săpt. | 7-13 zile
-20%
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Editat de Dirk Beyer et al.
4 apr 2019
Paperback
Preț: 320.92 lei 401.15 lei
3-5 săpt. | 7-13 zile
-20%