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
Paperback
Preț: 390.14 lei 487.67 lei
6-8 săpt.
-20%
Cărți de Tiziana Margaria
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ț: 481.97 lei 602.46 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
Paperback
Preț: 484.26 lei 605.33 lei
6-8 săpt.
-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ț: 424.85 lei 531.06 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ț: 604.21 lei 755.27 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ț: 485.59 lei 606.99 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
Paperback
Preț: 339.80 lei 424.75 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
Editat de Tiziana Margaria et al.
29 oct 2018
Paperback
Preț: 347.58 lei 434.48 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Editat de Tiziana Margaria et al.
30 oct 2018
Paperback
Preț: 343.12 lei 428.89 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
Editat de Tiziana Margaria et al.
31 oct 2018
Paperback
Preț: 344.27 lei 430.34 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
Editat de Tiziana Margaria et al.
30 oct 2018
Paperback
Preț: 344.76 lei 430.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
Paperback
Preț: 339.34 lei 424.17 lei
6-8 săpt.
-20%
SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
Editat de Bernhard Steffen et al.
11 ian 2017
Paperback
Preț: 344.76 lei 430.94 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
Paperback
Preț: 330.75 lei 413.44 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
Paperback
Preț: 350.53 lei 438.17 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ț: 345.77 lei 432.21 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ț: 331.40 lei 414.26 lei
6-8 săpt.
-20%
Semantic Web Services Challenge: Results from the First Year
Editat de Charles J. Petrie et al.
23 noi 2010
Paperback
Preț: 982.01 lei 1227.51 lei
6-8 săpt.
-20%
Service-Oriented Computing - ICSOC 2008: 6th International Conference, Sydney, Australia, December 1-5, 2008, Proceedings
Editat de Athman Bouguettaya et al.
13 noi 2008
Paperback
Preț: 668.22 lei 835.28 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
Paperback
Preț: 328.79 lei 410.98 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
Paperback
Preț: 342.65 lei 428.31 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
Paperback
Preț: 680.77 lei 850.96 lei
6-8 săpt.
-20%
Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers
Editat de Tiziana Margaria et al.
18 mar 1998
Paperback
Preț: 334.71 lei 418.38 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ț: 340.32 lei 425.40 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ț: 333.04 lei 416.30 lei
6-8 săpt.
-20%