Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
Editat de Tiziana Margaria et al.
26 oct 2024
Parperback
Preț: 333.95 lei 417.44 lei
38-44 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
Parperback
Preț: 330.98 lei 413.73 lei
3-5 săpt.
-20%
Engineering of Computer-Based Systems: 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings
Editat de Jan Kofroň et al.
29 noi 2023
Parperback
Preț: 402.57 lei 503.22 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
Editat de Tiziana Margaria et al.
30 oct 2024
Parperback
Preț: 464.00 lei 580.00 lei
6-8 săpt. | 7-11 zile
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
Editat de Tiziana Margaria et al.
27 oct 2024
Parperback
Preț: 448.51 lei 560.64 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
Parperback
Preț: 443.97 lei 554.96 lei
38-44 zile
-20%
Semantic Web Services Challenge: Results from the First Year
Editat de Charles J. Petrie et al.
4 dec 2008
Hardback
Preț: 953.88 lei 1192.35 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
Editat de Tiziana Margaria et al.
5 aug 2021
Parperback
Preț: 320.16 lei 400.20 lei
6-8 săpt.
-20%
Formal Methods for Industrial Critical Systems
Autor Stefania Gnesi et al.
17 dec 2012
Parperback
Preț: 574.78 lei 624.76 lei
6-8 săpt.
-8%
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
Parperback
Preț: 320.37 lei 400.47 lei
6-8 săpt.
-20%
Software Process Improvement: 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings
Editat de Pekka Abrahamsson et al.
21 sep 2007
Parperback
Preț: 316.28 lei 395.35 lei
6-8 săpt.
-20%
Service-Oriented Computing - ICSOC 2008
Editat de Athman Bouguettaya et al.
13 noi 2008
Parperback
Preț: 645.22 lei 806.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
Parperback
Preț: 332.60 lei 415.75 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
Parperback
Preț: 327.36 lei 409.20 lei
6-8 săpt.
-20%
Services and Visualization: Towards User-Friendly Design
Editat de Tiziana Margaria et al.
18 mar 1998
Parperback
Preț: 323.41 lei 404.26 lei
6-8 săpt.
-20%
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings
Editat de Tiziana Margaria et al.
27 aug 2001
Parperback
Preț: 329.60 lei 412.00 lei
6-8 săpt.
-20%
Process Design for Natural Scientists: An Agile Model-Driven Approach
Editat de Anna-Lena Lamprecht et al.
2 oct 2014
Parperback
Preț: 318.17 lei 397.71 lei
6-8 săpt.
-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
Parperback
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
Parperback
Preț: 336.69 lei 420.86 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Editat de Tiziana Margaria et al.
30 oct 2018
Parperback
Preț: 332.01 lei 415.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
Parperback
Preț: 333.22 lei 416.53 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Editat de Tiziana Margaria et al.
30 oct 2018
Parperback
Preț: 333.61 lei 417.02 lei
6-8 săpt.
-20%
Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Editat de Tiziana Margaria et al.
26 iun 2019
Parperback
Preț: 326.87 lei 408.59 lei
6-8 săpt.
-20%
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
Parperback
Preț: 463.44 lei 579.30 lei
6-8 săpt.
-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
Parperback
Preț: 427.62 lei 534.52 lei
3-5 săpt. | 7-11 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
Parperback
Preț: 392.22 lei 490.28 lei
3-5 săpt. | 7-11 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
Parperback
Preț: 533.40 lei 666.75 lei
3-5 săpt. | 7-11 zile
-20%
SOFSEM 2017: Theory and Practice of Computer Science
Editat de Bernhard Steffen et al.
11 ian 2017
Parperback
Preț: 333.61 lei 417.02 lei
6-8 săpt.
-20%
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Editat de Tiziana Margaria et al.
21 mar 2001
Parperback
Preț: 654.44 lei 818.06 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification, and Validation
Editat de Reiner Hähnle et al.
12 oct 2012
Parperback
Preț: 319.96 lei 399.94 lei
6-8 săpt.
-20%
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Editat de Axel Legay et al.
31 mar 2017
Parperback
Preț: 326.42 lei 408.02 lei
6-8 săpt.
-20%