Canali - Formal Approaches to Software Testing : :: Biblioteca ITESO

Documenti analoghi: Formal Approaches to Software Testing :

Anteprima rapida
Formal Approaches to Software Testing : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /
Anteprima rapida
Formal Approaches to Software Testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 /
Anteprima rapida
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 /
Anteprima rapida
Testing Software and Systems : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings /
Anteprima rapida
Testing of Software and Communicating Systems : 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings /
Anteprima rapida
Software Composition : 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers /
Anteprima rapida
Fundamental Approaches to Software Engineering : 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings /
Anteprima rapida
Formal Methods and Testing : An Outcome of the FORTEST Network. Revised Selected Papers /
Anteprima rapida
Software Testing : A Craftsman's Approach /
Anteprima rapida
Software Testing : A Craftsman's Approach /
Anteprima rapida
Software Testing : A Guide to the TMap Approach /
Anteprima rapida
Formal Methods and Software Engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings /
Anteprima rapida
Hardware and Software, Verification and Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
Anteprima rapida
Software Testing /
Anteprima rapida
Software Testing /
Anteprima rapida
Formal Aspects in Security and Trust : Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers /
Anteprima rapida
Practical Software Testing : A Process-Oriented Approach /
Anteprima rapida
Evaluation of Novel Approaches to Software Engineering : 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers /
Anteprima rapida
Machine Learning for Multimodal Interaction : Second International Workshop, MLMI 2005, Edinburgh, UK, July 11-13, 2005, Revised Selected Papers /
Anteprima rapida
Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Proceedings /
Anteprima rapida
Hardware and Software: Verification and Testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers /
Anteprima rapida
Formal Approaches to Agent-Based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers /
Anteprima rapida
Formal Approaches to Agent-Based Systems : First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers /
Anteprima rapida
Testing Computer Software /

Autore: Wolfgang Grieskamp, Carsten Weise

Anteprima rapida
Formal Approaches to Software Testing : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers /

© 2026 Catálogo Público de la Biblioteca V/F -- v.11.0