Korso: Methods, Languages, and Tools for the Construction of Correct Software: Final Report (Final Report) - Lecture Notes in Computer Science - Manfred Broy - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540605898 - November 8, 1995
In case cover and title do not match, the title is correct

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

Price
₺ 2,348
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 15 - 25
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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 Books     Paperback Book   (Book with soft cover and glued back)
Released November 8, 1995
ISBN13 9783540605898
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 458
Dimensions 156 × 234 × 23 mm   ·   648 g
Language German  
Editor Broy, Manfred
Editor Jahnichen, Stefan
Show all

More by Manfred Broy

See all of Manfred Broy ( e.g. Paperback Book , Hardcover Book and Book )