Deductive Software Verification – The KeY Book: From Theory to Practice - Programming and Software Engineering - - Kirjat - Springer International Publishing AG - 9783319498119 - keskiviikko 21. joulukuuta 2016
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Deductive Software Verification – The KeY Book: From Theory to Practice - Programming and Software Engineering 1st ed. 2016 edition

Hinta
S$ 181,50

Tilattu etävarastosta

Arvioitu toimitus ke - to 3. - 11. syys

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

Deductive Software Verification – The KeY Book: From Theory to Practice - Programming and Software Engineering 1st ed. 2016 edition

Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering.

702 pages, 110 black & white illustrations, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 21. joulukuuta 2016
ISBN13 9783319498119
Tuottaja Springer International Publishing AG
Sivujen määrä 702
Mitta 155 × 235 × 37 mm   ·   1,01 kg
Kieli French  
Toimittaja Ahrendt, Wolfgang
Toimittaja Beckert, Bernhard
Toimittaja Bubel, Richard
Toimittaja Hahnle, Reiner
Toimittaja Schmitt, Peter H.
Toimittaja Ulbrich, Mattias