Formal Methods for Industrial Critical Systems
Editat de Anne Remke et al.
28 sep 2025
Paperback
Preț: 391.79 lei 489.73 lei
17-23 zile | 4-10 zile
-20%
Cărți de Bernhard Steffen
Bridging the Gap Between AI and Reality
Editat de Bernhard Steffen
2 oct 2025
Paperback
Preț: 274.16 lei 342.70 lei
17-23 zile | 4-10 zile
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III
Editat de Tiziana Margaria et al.
20 oct 2022
Paperback
Preț: 427.95 lei 534.94 lei
3-5 săpt. | 4-10 zile
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV
Editat de Tiziana Margaria et al.
20 oct 2022
Paperback
Preț: 392.53 lei 490.66 lei
3-5 săpt. | 4-10 zile
-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. | 4-10 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. | 4-10 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. | 4-10 zile
-20%
Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches
Autor Bernhard Steffen et al.
24 ian 2019
Paperback
Preț: 198.17 lei 247.71 lei
3-5 săpt. | 4-10 zile
-20%
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Editat de Tiziana Margaria et al.
19 oct 2010
Paperback
Preț: 330.98 lei 413.73 lei
3-5 săpt.
-20%