Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /

Salvato in:

Dettagli Bibliografici
Autore principale:	Bertrand Meyer, Jim Woodcock (edición)
Natura:	Libro
Lingua:	inglese
Pubblicazione:	Berlín, Alemania : Springer, 2008, c2008
Serie:	(Lecture Notes in Computer Science)
Accesso online:	Ver documento en línea
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi: Verified Software: Theories, Tools, Experiments :

Anteprima rapida
Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings /
Anteprima rapida
Verified Software: Theories, Tools, Experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings /
Anteprima rapida
Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings /
Anteprima rapida
Verified Software : Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014 : Revised Selected Papers /
Anteprima rapida
Verified Software : Theories, Tools and Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : Revised Selected Papers /
Anteprima rapida
Tools for Practical Software Verification : International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures /
Anteprima rapida
Software Engineering Approaches for Offshore and Outsourced Development : First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007, Revised Papers /
Anteprima rapida
Software Engineering Approaches for Offshore and Outsourced Development : Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings /
Anteprima rapida
The Architecture of Scientific Software : IFIP TC2/WG2.5 Working Conference on the Architecture of Scientific Software October 2.4, 2000, Ottawa, Canada /
Anteprima rapida
Software Engineering Approaches for Offshore and Outsourced Development : Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008, Revised Papers /
Anteprima rapida
Refinement Techniques in Software Engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures /
Anteprima rapida
Detect and Deter: Can Countries Verify the Nuclear Test Ban? /
Anteprima rapida
Software Composition : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings /
Anteprima rapida
Design, User Experience, and Usability. Theory, Methods, Tools and Practice : First International Conference, DUXU 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II /
Anteprima rapida
Design, User Experience, and Usability. Theory, Methods, Tools and Practice : First International Conference, DUXU 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I /
Anteprima rapida
Balancing Agility and Formalism in Software Engineering : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers /
Anteprima rapida
Software Engineering Techniques : Third IFIP TC 2 Central and East-European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers /
Anteprima rapida
Information Security Practice and Experience : First International Conference, ISPEC 2005, Singapore, April 11-14, 2005, Proceedings /
Anteprima rapida
Experience and theory.
Anteprima rapida
Tests and Proofs : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers /
Anteprima rapida
Software Architecture : 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings /
Anteprima rapida
Software Architecture : TC2 First Working IFIP Conference on Software Architecture (WICSA1) 22.24 February 1999, San Antonio, Texas, USA /
Anteprima rapida
Quality of Software Architectures and Software Quality : First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September, 20-22, 2005, Proceedings /
Anteprima rapida
Objects, Components, Models and Patterns : 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009, Proceedings /