Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS'99, Held as Part of the Joint European ... (Lecture Notes in Computer Science)
Book Details
Author(s)
Thomas, Wolfgang
Publisher
Springer
ISBN / ASIN
3540657193
ISBN-13
9783540657194
Category
Paperback
Marketplace
France 🇫🇷
Ratings & Reviews
No reviews yet — be the first!
No reviews yet.
Description
This book constitutes the refereed proceedings of the Second International Conference on Foundations of Software Science and Computation Structures, FOSSACS '99, held in Amsterdam, The Netherlands in March 1999 as part of ETAPS'99.
The 18 revised full papers presented were carefully selected from a total of 40 submissions. Also included are three invited papers. The central issues of the papers are theories and methods which suport the specification, transformation, verification and analysis of programs and software systems.
The 18 revised full papers presented were carefully selected from a total of 40 submissions. Also included are three invited papers. The central issues of the papers are theories and methods which suport the specification, transformation, verification and analysis of programs and software systems.
