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%
Cărți de Bernhard Steffen
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%
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%
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%
Grundlagen der höheren Informatik: Induktives Vorgehen
Autor Bernhard Steffen et al.
30 oct 2013
Hardback
Preț: 237.25 lei 296.57 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%
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%
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
Editat de Reiner Hähnle et al.
12 oct 2012
Paperback
Preț: 319.96 lei 399.94 lei
6-8 săpt.
-20%