Verified Software: Theories, Tools, Experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Gary T. Leavens, Peter O.Hearn, Sriram K. Rajamani (edición)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Berlín, Alemania : Springer, 2010, c2010
Schriftenreihe:	(Lecture Notes in Computer Science)
Online-Zugang:	Ver documento en línea
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!

Ähnliche Einträge: Verified Software: Theories, Tools, Experiments :

Vorschau
Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings /
Vorschau
Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings /
Vorschau
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 /
Vorschau
Verified Software : Theories, Tools and Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : Revised Selected Papers /
Vorschau
Verified Software : Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014 : Revised Selected Papers /
Vorschau
Model Checking Software : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings /
Vorschau
Computer Aided Verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /
Vorschau
Multicore Software Engineering, Performance, and Tools : International Conference, MUSEPAT 2013, Saint Petersburg, Russia, August 19-20, 2013, Proceedings /
Vorschau
Detect and Deter: Can Countries Verify the Nuclear Test Ban? /
Vorschau
Methods and Tools of Parallel Programming Multicomputers : Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers /
Vorschau
Experience and theory.
Vorschau
Tools and Algorithms for the Construction and Analysis of Systems : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings /
Vorschau
Transactions on Aspect-Oriented Software Development X /
Vorschau
Software Reuse: Methods, Techniques, and Tools : 7th International Conference, ICSR-7, Austin, TX, USA, April 15-19, 2002. Proceedings /
Vorschau
Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings /
Vorschau
Reconfigurable Computing: Architectures, Tools and Applications : 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /
Vorschau
Tools for Practical Software Verification : International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures /
Vorschau
Languages, Methodologies, and Development Tools for Multi-Agent Systems : Third International Workshop, LADS 2010, Lyon, France, August 30--September 1, 2010, Revised Selected Papers /
Vorschau
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 /
Vorschau
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 /
Vorschau
Theory and Applications of Satisfiability Testing - SAT 2010 : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings /
Vorschau
Mathematical Software - ICMS 2010 : Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings /
Vorschau
Experiment and Theory in Physics /
Vorschau
Theory and Experiment in Electrocatalysis /