Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings Lecture Notes in Computer Science, nr. 7019 Editat de Burkhart Wolff et al. 21 oct 2011 Paperback Preț: 313.09 lei 391.36 lei 3-5 săpt. -20%
Tests and Proofs: 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings Lecture Notes in Computer Science, nr. 6706 Editat de Martin Gogolla et al. 22 iun 2011 Paperback Preț: 312.29 lei 390.36 lei 3-5 săpt. -20%
Tests and Proofs: 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings Lecture Notes in Computer Science, nr. 10889 Editat de Catherine Dubois et al. 3 iun 2018 Paperback Preț: 310.44 lei 388.05 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 Lecture Notes in Computer Science, nr. 4262 Editat de Klaus Havelund et al. 7 dec 2006 Paperback Preț: 313.88 lei 392.34 lei 6-8 săpt. -20%
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings Lecture Notes in Computer Science, nr. 2758 Editat de David Basin et al. 21 aug 2003 Paperback Preț: 372.52 lei 6-8 săpt.