Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
The 21 strictly refereed papers presented are organized in five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies. In addition, the preface and introductory paper give valuable background information and a concise state-of-the-art overview.
Keywords
Table of contents (22 chapters)
Bibliographic Information
Book Title: KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Book Subtitle: Final Report
Editors: Manfred Broy, Stefan Jähnichen
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/BFb0015452
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1995
Softcover ISBN: 978-3-540-60589-8Published: 08 November 1995
eBook ISBN: 978-3-540-47802-7Published: 13 November 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 458
Topics: Software Engineering/Programming and Operating Systems, Software Engineering, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs