Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings

Media type: E-Book; Conference Proceedings
Title: Foundations of Software Science and Computation Structures : Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings
Contributor: Thomas, Wolfgang [Author]
Published: Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1999
Published in: Lecture notes in computer science ; 1578
Bücher
Computer Science
Extent: Online-Ressource
Language: English
DOI: 10.1007/3-540-49019-1
ISBN: 9783540490197; 3540657193
Identifier:

RVK notation: SS 4800 : Lecture notes in computer science
Keywords: Theoretische Informatik
Theoretische Informatik
Origination:
Footnote:
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

Search in field: