Book: Foundations Of Software Science And Computation Structures 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.
Details of Book: Foundations Of Software Science And Computation Structures Book: Foundations Of Software Science And Computation Structures
Author: Wolfgang Thomas, Wolfgang Thomas
ISBN: 3540657193
ISBN-13: 9783540657194
, 978-3540657194
Binding: Paperback
Publishing Date: 10031999
Publisher: Springer
Number of Pages: 340
Language: English