The 25 revised full papers presented in this book together with the abstract of one invited talk were carefully reviewed and selected from 103 submissions. The papers cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.
| ISBN: | 9783540713883 |
| Publication date: | 9th March 2007 |
| Author: | FOSSACS Conference, Helmut Seidl, ETAPS Conference |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 377 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Mathematical theory of computation Compilers and interpreters |
The 25 revised full papers presented in this book together with the abstract of one invited talk were carefully reviewed and selected from 103 submissions. The papers cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.
Foundations of Software Science and Computational Structures features in the following genres: Software Engineering, Mathematical theory of computation, Compilers and interpreters
Paperback. Not Available.
Foundations of Software Science and Computational Structures was written by FOSSACS Conference, Helmut Seidl, ETAPS Conference and published by Springer an imprint of Springer Berlin Heidelberg
Foundations of Software Science and Computational Structures has 377 pages
Yes it is part of Lecture Notes in Computer Science series