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

Antzeko izenburuak: Verified Software: Theories, Tools, Experiments :

Quick Look
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 /
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
Experience and theory.
Quick Look
CONCUR 2008 - Concurrency Theory : 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings /
Quick Look
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 /
Quick Look
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 /
Quick Look
Software Architecture : Second International Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings /
Quick Look
Experiment and Theory in Physics /
Quick Look
Theory and Experiment in Electrocatalysis /
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings /
Quick Look
Detect and Deter: Can Countries Verify the Nuclear Test Ban? /
Quick Look
Experiment, Theory, Practice : Articles and Addresses /
Quick Look
Software Reuse: Methods, Techniques, and Tools : 8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2004, Proceedings /
Quick Look
Theory and Experiment in Gravitational Physics /
Quick Look
Ontologies for Agents: Theory and Experiences /
Quick Look
Information Security Practice and Experience : 4th International Conference, ISPEC 2008 Sydney, Australia, April 21-23, 2008 Proceedings /
Quick Look
Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings /
Quick Look
Conceptual Structures: Theory, Tools and Applications : 6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August, 10-12, 1998, Proceedings /
Quick Look
Multicore Software Engineering, Performance, and Tools : International Conference, MUSEPAT 2013, Saint Petersburg, Russia, August 19-20, 2013, Proceedings /
Quick Look
UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools : 4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings /
Quick Look
Multicore Software Engineering, Performance and Tools : International Conference, MSEPT 2012, Prague, Czech Republic, May 31--June 1, 2012, Proceedings /

Egilea: Natarajan Shankar, Jim Woodcock

Quick Look
Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings /

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