Korso: Methods, Languages, and Tools for the Construction of Correct Software: Final Report (Final Report) - Lecture Notes in Computer Science - Manfred Broy - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540605898 - 8. november 1995
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Manfred Broy

Pris
Kč 1.490

Bestilles fra fjernlager

Forventes klar til forsendelse 3. - 9. jul.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

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

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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 8. november 1995
ISBN13 9783540605898
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 458
Mål 156 × 234 × 23 mm   ·   648 g
Sprog Tysk  
Klipper/redaktør Broy, Manfred
Klipper/redaktør Jahnichen, Stefan
Vis alle

Mere med Manfred Broy

Se alt med Manfred Broy ( f.eks. Paperback Bog , Hardcover bog og Bog )