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

Languages

von: Manfred Broy · Stefan J??hnichen

Taschenbuch

ISBN-13: 978-3-540-60589-8

ISBN-10: 3-540-60589-4

Springer · 2008

Siehe auch:
1995PaperbackKorso: Methods, Languages, and Tools for the Construction of Correct Software: Final Report (Lecture Notes in Computer Science)