
Vertel uw vrienden over dit artikel:
Korso: Methods, Languages, and Tools for the Construction of Correct Software: Final Report (Final Report) - Lecture Notes in Computer Science
Manfred Broy
Korso: Methods, Languages, and Tools for the Construction of Correct Software: Final Report (Final Report) - Lecture Notes in Computer Science
Manfred Broy
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.
458 pages, biography
Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
Vrijgegeven | 8 november 1995 |
ISBN13 | 9783540605898 |
Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
Pagina's | 458 |
Afmetingen | 156 × 234 × 23 mm · 648 g |
Taal en grammatica | Duits |
Uitgever | Broy, Manfred |
Uitgever | Jahnichen, Stefan |
Alles tonen
Meer door Manfred Broy
Bekijk alles van Manfred Broy ( bijv. Paperback Book , Hardcover Book en Book )