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 /

Guardado en:

Bibliografiske detaljer
Hovedforfatter:	Bertrand Meyer, Jim Woodcock (edición)
Format:	Bog
Sprog:	engelsk
Udgivet:	Berlín, Alemania : Springer, 2008, c2008
Serier:	(Lecture Notes in Computer Science)
Online adgang:	Ver documento en línea
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker: Verified Software: Theories, Tools, Experiments :

Quick Look
Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings /
Quick Look
Verified Software: Theories, Tools, Experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings /
Quick Look
Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings /
Quick Look
Verified Software : Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014 : Revised Selected Papers /
Quick Look
Verified Software : Theories, Tools and Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : Revised Selected Papers /
Quick Look
Tools for Practical Software Verification : International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures /
Quick Look
Software Engineering Approaches for Offshore and Outsourced Development : First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007, Revised Papers /
Quick Look
Software Engineering Approaches for Offshore and Outsourced Development : Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings /
Quick Look
The Architecture of Scientific Software : IFIP TC2/WG2.5 Working Conference on the Architecture of Scientific Software October 2.4, 2000, Ottawa, Canada /
Quick Look
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 /
Quick Look
Software Engineering Approaches for Offshore and Outsourced Development : Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008, Revised Papers /
Quick Look
Tests and Proofs : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers /
Quick Look
Refinement Techniques in Software Engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures /
Quick Look
Software Architecture : 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings /
Quick Look
Detect and Deter: Can Countries Verify the Nuclear Test Ban? /
Quick Look
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 /
Quick Look
Software Composition : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings /
Quick Look
Information Security Practice and Experience : First International Conference, ISPEC 2005, Singapore, April 11-14, 2005, Proceedings /
Quick Look
Software Architecture : TC2 First Working IFIP Conference on Software Architecture (WICSA1) 22.24 February 1999, San Antonio, Texas, USA /
Quick Look
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 /
Quick Look
Objects, Components, Models and Patterns : 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009, Proceedings /
Quick Look
Situational Method Engineering: Fundamentals and Experiences : Proceedings of the IFIP WG 8.1 Working Conference, 12-14 September 2007, Geneva, Switzerland /
Quick Look
Construcción de software orientado a objetos /
Quick Look
Environmental Software Systems : IFIP TC5 WG5.11 International Symposium on Environmental Software Systems (ISESS .97), 28 April.2 May 1997, British Columbia, Canada /