search for books and compare prices
Korso: Methods, Languages and Tools for the Construction of Correct Software : Final Report
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Paperback
from Springer Verlag (December 1, 1995); titled "Korso: Methods, Languages, and Tools for the Construction of Correct Software : Final Report"
9780387605890 | details & prices | List price $98.00
from Springer Verlag (June 1, 1995)
9783540605898 | details & prices | 6.25 × 9.50 × 1.00 in. | 1.35 lbs | List price $129.00
About: 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.
About: 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.