Cargando…

Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings /

This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences. The 9 revised full papers presented together with 2 invited papers, 4 short papers and o...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Brucker, Achim (Editor ), Julliand, Jacques (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edición:	1st ed. 2012.
Colección:	Programming and Software Engineering, 7305
Temas:	Software engineering. Computer programming. Computer science. Machine theory. Compilers (Computer programs). Computer simulation. Software Engineering. Programming Techniques. Computer Science Logic and Foundations of Programming. Formal Languages and Automata Theory. Compilers and Interpreters. Computer Modelling.
Acceso en línea:	Texto Completo

Ejemplares similares

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

Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings /
Publicado: (2016)

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings /
Publicado: (2014)

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings /
Publicado: (2015)

Tests and Proofs 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings /
Publicado: (2011)

Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings /
Publicado: (2010)

Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings /
Publicado: (2012)

Object, Models, Components, Patterns 50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings /
Publicado: (2012)

Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday /
Publicado: (2007)

Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings /
Publicado: (2012)

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings /
Publicado: (2010)

Abstraction, Refinement and Proof for Probabilistic Systems
por: McIver, Annabelle, et al.
Publicado: (2005)

Static Analysis 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings /
Publicado: (2011)

Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings /
Publicado: (2011)

Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings /
Publicado: (2012)

Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
Publicado: (2012)

Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings /
Publicado: (2013)

Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures /
Publicado: (2010)

Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings /
Publicado: (2012)

Theoretical Aspects of Computing - ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings /
Publicado: (2012)

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /
Publicado: (2013)

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
Publicado: (2013)

Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings /
Publicado: (2010)

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /
Publicado: (2013)

Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings /
Publicado: (2012)

Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings /
Publicado: (2012)

Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers /
Publicado: (2012)

Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings /
Publicado: (2012)

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /
Publicado: (2016)

Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings /
Publicado: (2006)

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /
Publicado: (2008)

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings /
Publicado: (2013)

ECOOP 2012 -- Object-Oriented Programming 26th European Conference, Beijing, China, June 11-16, 2012, Proceedings /
Publicado: (2012)

Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers /
Publicado: (2011)

Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers /
Publicado: (2016)

Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers /
Publicado: (2015)

Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings /
Publicado: (2012)

Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers /
Publicado: (2015)

Generative and Transformational Techniques in Software Engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers /
Publicado: (2011)

Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings /
Publicado: (2012)