Cargando…

Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings /

This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009. The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully revi...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Bouajjani, Ahmed (Editor ), Maler, Oded (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edición:	1st ed. 2009.
Colección:	Theoretical Computer Science and General Issues, 5643
Temas:	Computer programming. Computer systems. Software engineering. Computer science. Machine theory. Programming Techniques. Computer System Implementation. Software Engineering. Computer Science Logic and Foundations of Programming. Formal Languages and Automata Theory.
Acceso en línea:	Texto Completo

Ejemplares similares

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings /
Publicado: (2008)

Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings /
Publicado: (2008)

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II /
Publicado: (2016)

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I /
Publicado: (2016)

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings /
Publicado: (2014)

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /
Publicado: (2015)

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /
Publicado: (2015)

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /
Publicado: (2007)

Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings /
Publicado: (2011)

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings /
Publicado: (2005)

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /
Publicado: (2005)

Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
Publicado: (2006)

Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /
Publicado: (2012)

Modelling Distributed Systems
por: Fokkink, Wan
Publicado: (2007)

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /
Publicado: (2010)

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings /
Publicado: (2013)

Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings /
Publicado: (2016)

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
Publicado: (2015)

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /
Publicado: (2014)

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

Runtime Verification Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers /
Publicado: (2012)

Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers /
Publicado: (2010)

Implementation and Application of Functional Languages 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers /
Publicado: (2010)

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

Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings /
Publicado: (2011)

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

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings /
Publicado: (2016)

Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings /
Publicado: (2009)

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings /
Publicado: (2009)

Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings /
Publicado: (2010)

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings /
Publicado: (2016)

Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /
Publicado: (2015)

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

Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers /
Publicado: (2011)

Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings /
Publicado: (2016)

B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings /
Publicado: (2006)

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings /
Publicado: (2010)

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /
Publicado: (2014)

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings /
Publicado: (2014)

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings /
Publicado: (2006)

Cannot write session to /tmp/vufind_sessions/sess_i05fpjk8cas60hd7k8qfi7u1cs