Deductive Software Verification – The KeY Book
From Theory to Practice
Häftad, Engelska, 2016
AvWolfgang Ahrendt,Bernhard Beckert,Richard Bubel,Reiner Hähnle,Peter H. Schmitt,Mattias Ulbrich,Reiner Hahnle
1 689 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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.
Produktinformation
- Utgivningsdatum2016-12-21
- Mått155 x 235 x 40 mm
- Vikt1 095 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor702
- FörlagSpringer International Publishing AG
- ISBN9783319498119