Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings by Marino Miculan, Furio Honsell (Paperback, 2001)
This book constitutes the refereed proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2001, held in Genova, Italy in April 2001.The 25 revised full papers presented together with an invited paper and a tool presentation paper were carefully reviewed and selected from a total of 63 submissions. Among the topics covered are algebraic, categorical, logical, and geometric theories, models, and methods supporting the specification, synthesis, verification, analysis, and transformation of sequential, concurrent, distributed and mobile programs and software systems.
Product Identifiers
Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-13
9783540418641
eBay Product ID (ePID)
95549127
Product Key Features
Author
Marino Miculan, FURIO Honsell
Publication Name
Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
2001
Type
Textbook
Number of Pages
420 Pages
Dimensions
Item Height
235mm
Item Width
155mm
Volume
2030
Item Weight
1330g
Additional Product Features
Series Title
Lecture Notes in Computer Science
Editor
Marino Miculan, FURIO Honsell
Country/Region of Manufacture
Germany
Best Selling in Adult Learning & University
Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University