Kanallar - Verified Software: Theories, Tools, Experiments : :: Biblioteca ITESO

Benzer Materyaller: Verified Software: Theories, Tools, Experiments :

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

Yazar: Bertrand Meyer, Jim Woodcock

Hızlı Bakış
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 /

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