Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Margus Veanes, Luca Viganò (edición)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Berlín, Alemania : Springer, 2013, c2013
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: Tests and Proofs :

Vorschau
Tests and Proofs : 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings /
Vorschau
Tests and Proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings /
Vorschau
Tests and Proofs : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings /
Vorschau
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings /
Vorschau
Tests and Proofs : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings /
Vorschau
Tests and Proofs : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers /
Vorschau
Tests and Proofs : 8th International Conference, TAP 2014, Held as Part of STAF 2014 York, UK, July 24-25, 2014 : Proceedings /
Vorschau
Testing of Software and Communicating Systems : 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings /
Vorschau
Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings /
Vorschau
Software Composition : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /
Vorschau
Theory and Applications of Satisfiability Testing - SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings /
Vorschau
Theory and Practice of Model Transformations : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings /
Vorschau
Types for Proofs and Programs : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers /
Vorschau
Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings /
Vorschau
VLSI Design and Test : 17th International Symposium, VDAT 2013, Jaipur, India, July 27-30, 2013, Proceedings /
Vorschau
Proofs and Algorithms : An Introduction to Logic and Computability /
Vorschau
Combinatorics on Words : 9th International Conference, WORDS 2013, Turku, Finland, September 16-20, 2013, Proceedings /
Vorschau
Testing Software and Systems : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings /
Vorschau
Human Interactive Proofs : Second International Workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005, Proceedings /
Vorschau
Programs, Proofs, Processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings /
Vorschau
Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings /
Vorschau
Proof, Computation and Agency : Logic at the Crossroads /
Vorschau
Proof Theory in Computer Science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings /
Vorschau
Adapting Proofs-as-Programs : The Curry--Howard Protocol /