Korso: Methods, Languages, and Tools for the Construction of Correct Software: Final Report (Final Report) - Lecture Notes in Computer Science - Manfred Broy - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783540605898 - 8 listopada 1995
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 211,90

Zamówione z odległego magazynu

Przewidywana dostawa 8 - 16 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

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 Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 8 listopada 1995
ISBN13 9783540605898
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 458
Wymiary 156 × 234 × 23 mm   ·   648 g
Język Niemiecki  
Redaktor Broy, Manfred
Redaktor Jahnichen, Stefan

Więcej od Manfred Broy

Pokaż wszystko

Zobacz wszystko od Manfred Broy ( np. Paperback Book , Hardcover Book i Book )