This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007. The 25 revised full papers presented together with the abstract of one invited talk cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007. The 25 revised full papers presented together with the abstract of one invited talk cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.
Imprint | Springer-Verlag |
Country of origin | Germany |
Series | Theoretical Computer Science and General Issues, 4423 |
Release date | March 2007 |
Availability | Expected to ship within 10 - 15 working days |
First published | 2007 |
Editors | Helmut Seidl |
Dimensions | 235 x 155 x 20mm (L x W x T) |
Format | Paperback |
Pages | 379 |
Edition | Version 6.0 |
ISBN-13 | 978-3-540-71388-3 |
Barcode | 9783540713883 |
Categories | |
LSN | 3-540-71388-3 |