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

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

Manfred Broy

Pris
₪ 180

Bestillingsvarer

Forventes levert 24. nov - 2. des
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
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

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 8. november 1995
ISBN13 9783540605898
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 458
Mål 156 × 234 × 23 mm   ·   648 g
Språk Tysk  
Redaktør Broy, Manfred
Redaktør Jahnichen, Stefan
Vis alle

Mer med Manfred Broy

Se alt med Manfred Broy ( f.eks. Pocketbok , Innbunden bok og Bok )