1009:-
Uppskattad leveranstid 7-11 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
- Illustratör: Bibliographie
- Format: Pocket/Paperback
- ISBN: 9783540713883
- Språk: Engelska
- Antal sidor: 379
- Utgivningsdatum: 2007-03-01
- Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K