Deductive Software Verification – The KeY Book: From Theory to Practice - Programming and Software Engineering - - Bøger - Springer International Publishing AG - 9783319498119 - 21. december 2016
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Pris
A$ 247,49

Bestilles fra fjernlager

Forventes klar til forsendelse 2. - 8. sep.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 21. december 2016
ISBN13 9783319498119
Forlag Springer International Publishing AG
Antal sider 702
Mål 155 × 235 × 37 mm   ·   1,01 kg
Sprog Fransk  
Klipper/redaktør Ahrendt, Wolfgang
Klipper/redaktør Beckert, Bernhard
Klipper/redaktør Bubel, Richard
Klipper/redaktør Hahnle, Reiner
Klipper/redaktør Schmitt, Peter H.
Klipper/redaktør Ulbrich, Mattias