This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006, held in Vienna, Austria in March 2006 as part of ETAPS.
The 28 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections on mobile processes, software science, distributed computation, categorical models, real time and hybrid systems, process calculi, automata and logic, domains, lambda calculus, types, and security.
| ISBN: | 9783540330455 |
| Publication date: | 16th March 2006 |
| Author: | FOSSACS Conference, Luca Aceto, Anna Ingólfsdóttir, ETAPS Conference |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 445 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Mathematical theory of computation Compilers and interpreters Software Engineering |
This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006, held in Vienna, Austria in March 2006 as part of ETAPS. The 28 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 107 submissions.
Foundations of Software Science and Computation Structures features in the following genres: Mathematical theory of computation, Compilers and interpreters, Software Engineering
Paperback. Not Available.
Foundations of Software Science and Computation Structures was written by FOSSACS Conference, Luca Aceto, Anna Ingólfsdóttir, ETAPS Conference and published by Springer an imprint of Springer Berlin Heidelberg
Foundations of Software Science and Computation Structures has 445 pages
Yes it is part of Lecture Notes in Computer Science series