Deductive Software Verification – The KeY Book

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
1.313,95 kr.

Bag om Deductive Software Verification – The KeY Book

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.

Vis mere

Sprog:
Engelsk

ISBN:
9783319498119

Forlag:
Springer International Publishing AG

Indbinding:
Paperback

Sideantal:
702

Udgivet:
21. december 2016

Udgave:
12016

Størrelse:
155x235x37 mm.

Leveringstid: 8-11 hverdage.
Forventet levering: 14. januar 2025

På lager

Forlænget returret til d. 31. januar 2025

Kan ikke leveres inden jul.
Køb nu og print et gavebevis

Normalpris

1.313,95 kr. + Fragt
~~1.313,95 kr.~~

Medlemspris

1.263,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Deductive Software Verification – The KeY Book

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.

Brugerbedømmelser af Deductive Software Verification – The KeY Book

Andre købte også..

Find lignende bøger

Bogen Deductive Software Verification – The KeY Book findes i følgende kategorier:

Business og læring > Computer og IT

Deductive Software Verification – The KeY Book - Bog

Beskrivelse af Deductive Software Verification – The KeY Book

Brugerbedømmelser af Deductive Software Verification – The KeY Book

Gør som tusindvis af andre bogelskere