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

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Gary T. Leavens, Peter O.Hearn, Sriram K. Rajamani (edición)
Formatua:	Liburua
Hizkuntza:	ingelesa
Argitaratua:	Berlín, Alemania : Springer, 2010, c2010
Saila:	(Lecture Notes in Computer Science)
Sarrera elektronikoa:	Ver documento en línea
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

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