Deductive Software Verification – The KeY Book: From Theory to Practice 1st Edition Wolfgang Ahrendt – Ebook Instant Download/Delivery ISBN(s): 9783319498119,9783319498126,3319498118,3319498126
Deductive Software Verification – The KeY Book: From Theory to Practice 1st Edition Wolfgang Ahrendt
$50.00 Original price was: $50.00.$25.00Current price is: $25.00.
Deductive Software Verification – The KeY Book: From Theory to Practice 1st Edition Wolfgang Ahrendt Digital Instant Download
Author(s): Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich (eds.)
ISBN(s): 9783319498119, 9783319498126, 3319498118, 3319498126
Edition: 1
File Details: PDF, 8.26 MB
Year: 2016
Language: English
SKU: EB-5696704
Category: Computers
Tags: Bernhard Beckert, Mattias Ulbrich (eds.), Peter H. Schmitt, Reiner Hähnle, Richard Bubel, Wolfgang Ahrendt
You may also like…
Sale!
Uncategorized
Sale!
Computers - Computer Science
Sale!
Computers - Networking
Computing in Communication Networks: From Theory to Practice 1st Edition Frank Fitzek
Sale!
Computers - Networking
C from Theory to Practice George S. Tselikis 1351796437 9781351796439
Sale!
Mathematics - Applied Mathematics
How to Solve Real-world Optimization Problems: From Theory to Practice 1st Edition Zak
Sale!
Relationships & Lifestyle - Psychological Self-Help
Sale!
Sale!
Education Studies & Teaching - School Education & Teaching
Contemporary Feminist Research from Theory to Practice Patricia Leavy
Sale!
Medicine - Others
Occupational Health Ethics From Theory to Practice Jacques Tamin