Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Editat de Howard Barringer et al.
19 oct 2010
Paperback
Preț: 344.76 lei 430.94 lei
3-5 săpt.
-20%
Cărți de Klaus Havelund
NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings
Editat de Jyotirmoy V. Deshmukh et al.
20 mai 2022
Paperback
Preț: 843.60 lei 1054.50 lei
6-8 săpt.
-20%
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Editat de Klaus Havelund et al.
12 iul 2018
Paperback
Preț: 608.82 lei 761.03 lei
6-8 săpt.
-20%
NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
Editat de Klaus Havelund et al.
9 apr 2015
Paperback
Preț: 341.15 lei 426.44 lei
6-8 săpt.
-20%
Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Editat de Erika Abraham et al.
11 mar 2014
Paperback
Preț: 350.86 lei 438.57 lei
6-8 săpt.
-20%
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
Editat de Mihaela Bobaru et al.
6 apr 2011
Paperback
Preț: 346.90 lei 433.62 lei
6-8 săpt.
-20%
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
Editat de Klaus Havelund et al.
25 iul 2008
Paperback
Preț: 337.00 lei 421.25 lei
6-8 săpt.
-20%
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Editat de Klaus Havelund et al.
7 dec 2006
Paperback
Preț: 331.25 lei 414.07 lei
6-8 săpt.
-20%
SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
Editat de Klaus Havelund et al.
21 aug 2000
Paperback
Preț: 335.52 lei 419.39 lei
6-8 săpt.
-20%