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.
Foundations of Software Science and Computational Structures: 10th International Conference, FOSSACS 2007, Held as Part of the Joint European ... Computer Science and General Issues)
📄 Viewing lite version
Full site ›
Book Details
PublisherSpringer
ISBN / ASIN3540713883
ISBN-139783540713883
AvailabilityUsually ships in 24 hours
Sales Rank9,021,515
MarketplaceUnited States 🇺🇸