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%
Theoretical Computer Science and General Issues
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%
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. 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%
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ț: 326.42 lei 408.02 lei
6-8 săpt.
-20%