Korso: Methods, Languages, and Tools for the Construction of Correct Software: Final Report (Final Report) - Lecture Notes in Computer Science - Manfred Broy - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540605898 - keskiviikko 8. marraskuuta 1995
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Manfred Broy

Hinta
CA$ 83,04

Tilattu etävarastosta

Arvioitu toimitus to - pe 3. - 11. heinä

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 8. marraskuuta 1995
ISBN13 9783540605898
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 458
Mitta 156 × 234 × 23 mm   ·   648 g
Kieli German  
Toimittaja Broy, Manfred
Toimittaja Jahnichen, Stefan
Näytä kaikki

Lisää tuotteita Manfred Broy

Katso kaikki joka sisältää Manfred Broy ( Esim. Paperback Book , Hardcover Book Ja Book )