Korso: Methods, Languages, and Tools for the Construction of Correct Software : Final Report (Lecture Notes in Computer Science) - Softcover

 
9780387605890: Korso: Methods, Languages, and Tools for the Construction of Correct Software : Final Report (Lecture Notes in Computer Science)
Softcover
ISBN 10: 0387605894 ISBN 13: 9780387605890
Publisher: Springer Verlag, 1995

This specific ISBN edition is currently not available.

Synopsis

KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report Containing the final report of the work carried out in the project KORSO ("Korrekte Software"), the papers in this volume are organized into five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies. Full description

"synopsis" may belong to another edition of this title.

Publisher
Springer Verlag
Publication date
1995
Language
English
ISBN 10 
0387605894
ISBN 13 
9780387605890
Binding
Paperback
Editor
Broy Manfred, Jahnichen Stefan

Other Popular Editions of the Same Title

9783540605898: KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report: 1009 (Lecture Notes in Computer Science, 1009)

Featured Edition

ISBN 10:  3540605894 ISBN 13:  9783540605898
Publisher: Springer, 1995
Softcover