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

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...

Description complète

Détails bibliographiques
Auteurs principaux : Brucker Achim (Directeur de publication), Julliand Jacques (Directeur de publication)
Format : Livre
Langue : anglais
Titre complet : Tests and Proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 June 1, 2012. Proceedings / edited by Achim D. Brucker, Jacques Julliand.
Édition : 1st ed. 2012.
Publié : Berlin, Heidelberg : Springer Berlin Heidelberg , 2012
Collection : Programming and Software Engineering ; 7305
Accès en ligne : Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr
Sujets :
Computer Science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Simulation and Modeling
Software Engineering
Programming Techniques
Computer Science Logic and Foundations of Programming
Formal Languages and Automata Theory
Compilers and Interpreters
Computer Modelling
Actes de congrès
Documents associés : Autre format: Tests and Proofs
Autre format: Tests and Proofs

Internet

https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-30473-6