by RobertoAmadio (Editor)
This book contains the proceedings of the 11th International Conference on Foundations of Software Science and Computational Structures. It covers theories and methods to support analysis, synthesis, transformation and verification of software systems.
Format: Paperback
Pages: 505
Publisher: Springer
Published: 18 Mar 2008
ISBN 10: 3540784977
ISBN 13: 9783540784975