Cărți de Klaus Havelund

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Lecture Notes in Computer Science, nr. 6418

Editat de Howard Barringer et al.

19 oct 2010

Preț: 337^.81 lei 422^.26 lei

22-36 zile

-20%

NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13260

Editat de Jyotirmoy V. Deshmukh et al.

20 mai 2022

Preț: 826^.52 lei 1033^.15 lei

43-57 zile

-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

Lecture Notes in Computer Science, nr. 10951

Editat de Klaus Havelund et al.

12 iul 2018

Preț: 596^.52 lei 745^.65 lei

43-57 zile

-20%

NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9058

Editat de Klaus Havelund et al.

9 apr 2015

Preț: 334^.30 lei 417^.87 lei

43-57 zile

-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

Lecture Notes in Computer Science, nr. 8413

Editat de Erika Abraham et al.

11 mar 2014

Preț: 343^.79 lei 429^.74 lei

43-57 zile

-20%

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6617

Editat de Mihaela Bobaru et al.

6 apr 2011

Preț: 339^.92 lei 424^.89 lei

43-57 zile

-20%

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5156

Editat de Klaus Havelund et al.

25 iul 2008

Preț: 330^.23 lei 412^.78 lei

43-57 zile

-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

Lecture Notes in Computer Science, nr. 4262

Editat de Klaus Havelund et al.

7 dec 2006

Preț: 324^.60 lei 405^.74 lei

43-57 zile

-20%

SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

Lecture Notes in Computer Science, nr. 1885

Editat de Klaus Havelund et al.

21 aug 2000

Preț: 328^.76 lei 410^.95 lei

43-57 zile

-20%