This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 29 papers presented in this book together with two invited talks in full paper length were carefully reviewed and selected from 100 full paper submissions.
The papers deal with theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.
| ISBN: | 9783642287282 |
| Publication date: | 14th March 2012 |
| Author: | FOSSACS Conference, Lars Birkedal, ETAPS Conference |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 484 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Mathematical theory of computation Artificial intelligence Compilers and interpreters Software Engineering |
This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 29 papers presented in this book together with two invited talks in full paper length were carefully reviewed and selected from 100 full paper submissions.
Foundations of Software Science and Computational Structures features in the following genres: Mathematical theory of computation, Artificial intelligence, Compilers and interpreters, Software Engineering
Paperback. Not Available.
Foundations of Software Science and Computational Structures was written by FOSSACS Conference, Lars Birkedal, ETAPS Conference and published by Springer an imprint of Springer Berlin Heidelberg
Foundations of Software Science and Computational Structures has 484 pages
Yes it is part of Lecture Notes in Computer Science series