Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
Editat de Tiziana Margaria et al.
30 oct 2024
Paperback
Preț: 464.00 lei 580.00 lei
6-8 săpt. | 4-10 zile
-20%
Cărți de Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II
Editat de Tiziana Margaria et al.
20 oct 2022
Paperback
Preț: 463.44 lei 579.30 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
Editat de Tiziana Margaria et al.
27 oct 2024
Paperback
Preț: 448.52 lei 560.65 lei
38-44 zile
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
Editat de Tiziana Margaria et al.
26 oct 2024
Paperback
Preț: 444.31 lei 555.39 lei
38-44 zile
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
Editat de Tiziana Margaria et al.
7 oct 2014
Paperback
Preț: 337.18 lei 421.48 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Editat de Tiziana Margaria et al.
29 oct 2018
Paperback
Preț: 336.69 lei 420.86 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
Editat de Tiziana Margaria et al.
26 oct 2024
Paperback
Preț: 334.21 lei 417.76 lei
38-44 zile
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Editat de Tiziana Margaria et al.
30 oct 2018
Paperback
Preț: 333.61 lei 417.02 lei
6-8 săpt.
-20%
SOFSEM 2017: Theory and Practice of Computer Science
Editat de Bernhard Steffen et al.
11 ian 2017
Paperback
Preț: 333.61 lei 417.02 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Editat de Tiziana Margaria et al.
31 oct 2018
Paperback
Preț: 333.22 lei 416.53 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Editat de Tiziana Margaria et al.
7 oct 2014
Paperback
Preț: 332.60 lei 415.75 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Editat de Tiziana Margaria et al.
30 oct 2018
Paperback
Preț: 332.01 lei 415.02 lei
6-8 săpt.
-20%
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Bernhard Steffen
18 mar 1998
Paperback
Preț: 330.58 lei 413.22 lei
6-8 săpt.
-20%
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.
Editat de Tiziana Margaria et al.
20 mar 1996
Paperback
Preț: 327.36 lei 409.20 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%
Verification, Model Checking, and Abstract Interpretation
Editat de Bernhard Steffen et al.
7 ian 2004
Paperback
Preț: 323.41 lei 404.26 lei
6-8 săpt.
-20%
Services and Visualization: Towards User-Friendly Design
Editat de Tiziana Margaria et al.
18 mar 1998
Paperback
Preț: 323.41 lei 404.26 lei
6-8 săpt.
-20%
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
Editat de Ed Brinksma et al.
23 noi 1995
Paperback
Preț: 320.37 lei 400.47 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings
Editat de Tiziana Margaria et al.
12 oct 2021
Paperback
Preț: 466.93 lei 583.67 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Editat de Reiner Hähnle et al.
12 oct 2012
Paperback
Preț: 318.80 lei 398.50 lei
6-8 săpt.
-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%
Leveraging Applications of Formal Methods
Editat de Tiziana Maragria et al.
3 noi 2006
Paperback
Preț: 316.71 lei 395.88 lei
6-8 săpt.
-20%
Let's Talk AI
Editat de Barbara Steffen et al.
28 noi 2025
Paperback
Preț: 294.32 lei 367.90 lei
6-8 săpt.
-20% Nou
Bridging the Gap Between AI and Reality
Editat de Bernhard Steffen
30 dec 2024
Paperback
Preț: 483.35 lei 604.18 lei
38-44 zile
-20%
Tools and Algorithms for the Construction and Analysis of Systems
Autor Bernhard Steffen et al.
7 oct 2020
Hardback
Preț: 323.81 lei 404.76 lei
6-8 săpt.
-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%
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%