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ț: 331.78 lei 414.73 lei
3-5 săpt.
-20%
Cărți de Grigore Rosu
Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
Editat de Owolabi Legunsen et al.
23 aug 2022
Paperback
Preț: 615.03 lei 768.78 lei
6-8 săpt.
-20%
Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
Editat de Dana Fisman et al.
30 mar 2022
Paperback
Preț: 303.01 lei 378.77 lei
6-8 săpt.
-20%
Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings
Editat de Holger Giese et al.
31 mai 2012
Paperback
Preț: 319.58 lei 399.47 lei
6-8 săpt.
-20%
Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings
Editat de José Meseguer et al.
15 iul 2008
Paperback
Preț: 328.32 lei 410.40 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ț: 318.80 lei 398.51 lei
6-8 săpt.
-20%