Deductive Software Verification – The KeY Book
From Theory to Practice
Häftad, Engelska, 2016
Av Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich, Reiner Hahnle
1 749 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