Cargando…

Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings /

This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012. The 13 revised full papers presented together with three invited talks were carefully reviewed and selected from 27 submissions....

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Gibbons, Jeremy (Editor ), Nogueira, Pablo (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edición:	1st ed. 2012.
Colección:	Theoretical Computer Science and General Issues, 7342
Temas:	Computer science. Machine theory. Software engineering. Computer science-Mathematics. Discrete mathematics. Compilers (Computer programs). Computer Science Logic and Foundations of Programming. Formal Languages and Automata Theory. Software Engineering. Discrete Mathematics in Computer Science. Compilers and Interpreters. Mathematical Applications in Computer Science.
Acceso en línea:	Texto Completo

Ejemplares similares

Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings /
Publicado: (2015)

Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings /
Publicado: (2015)

Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings /
Publicado: (2015)

Theoretical Aspects of Computing - ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings /
Publicado: (2016)

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
Publicado: (2005)

Theoretical Aspects of Computing - ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings /
Publicado: (2014)

Principles and Practice of Constraint Programming - CP 2012 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012, Proceedings /
Publicado: (2012)

Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures /
Publicado: (2014)

Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings /
Publicado: (2009)

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /
Publicado: (2015)

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
Publicado: (2015)

Rewriting Techniques and Applications 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings /
Publicado: (2009)

Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings /
Publicado: (2011)

Logic and the Foundations of Game and Decision Theory - LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers /
Publicado: (2010)

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /
Publicado: (2013)

Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /
Publicado: (2015)

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings /
Publicado: (2013)

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

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers /
Publicado: (2016)

Algebraic Informatics 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings /
Publicado: (2015)

The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007 and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers /
Publicado: (2010)

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

Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings /
Publicado: (2011)

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

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

Algebraic and Numeric Biology 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers /
Publicado: (2012)

Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement /
Publicado: (2011)

Conceptual Structures: Knowledge Visualization and Reasoning 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings /
Publicado: (2008)

Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /
Publicado: (2015)

Conceptual Structures: Leveraging Semantic Technologies 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009, Proceedings /
Publicado: (2009)

Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /
Publicado: (2010)

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /
Publicado: (2016)

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

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /
Publicado: (2013)

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
Publicado: (2015)

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

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)

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

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers /
Publicado: (2014)

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Publicado: (2014)

Cannot write session to /tmp/vufind_sessions/sess_bcg5i61p80g5jh8cs83fsq0i3j