Deductive Software Verification – The KeY Book: From Theory to Practice - Lecture Notes in Computer Science - - Books - Springer International Publishing AG - 9783319498119 - December 21, 2016
In case cover and title do not match, the title is correct

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

Price
S$ 166
excl. VAT

Ordered from remote warehouse

Expected delivery Oct 8 - 20

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

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 Books     Paperback Book   (Book with soft cover and glued back)
Released December 21, 2016
ISBN13 9783319498119
Publishers Springer International Publishing AG
Pages 702
Dimensions 155 × 235 × 37 mm   ·   1.01 kg
Language French  
Editor Ahrendt, Wolfgang
Editor Beckert, Bernhard
Editor Bubel, Richard
Editor Hahnle, Reiner
Editor Schmitt, Peter H.
Editor Ulbrich, Mattias