Gå direkte til innholdet
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Spar

KORSO: Methods, Languages, and Tools for the Construction of Correct Software

This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology.
Undertittel
Final Report
Opplag
1995 ed.
ISBN
9783540605898
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
8.11.1995
Antall sider
458