Deductive Software Verification – The KeY Book: From Theory to Practice - Lecture Notes in Computer Science - - Boeken - Springer International Publishing AG - 9783319498119 - 21 december 2016
Indien omslag en titel niet overeenkomen, is de titel correct

Deductive Software Verification – The KeY Book: From Theory to Practice - Lecture Notes in Computer Science 1st ed. 2016 edition

Prijs
€ 116,49

Besteld in een afgelegen magazijn

Verwachte levering 27 jan. - 4 feb.

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

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 Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 21 december 2016
ISBN13 9783319498119
Uitgevers Springer International Publishing AG
Pagina's 702
Afmetingen 155 × 235 × 37 mm   ·   1,01 kg
Taal en grammatica Frans  
Uitgever Ahrendt, Wolfgang
Uitgever Beckert, Bernhard
Uitgever Bubel, Richard
Uitgever Hahnle, Reiner
Uitgever Schmitt, Peter H.
Uitgever Ulbrich, Mattias