Deductive Software Verification – The KeY Book

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
1.325,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.

1.325,95 kr.
~~1.325,95 kr.~~

Gratis fragt

Leveringstid: 8-11 hverdage

Forventet levering: 17. januar 2025

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

Beskrivelse af Deductive Software Verification – The KeY Book

Brugerbedømmelser af Deductive Software Verification – The KeY Book

Gør som tusindvis af andre bogelskere