Sale!

Deductive Software Verification – The KeY Book: From Theory to Practice 1st Edition Wolfgang Ahrendt

Original price was: $50.00.Current 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: Tags: , , , , ,

Deductive Software Verification – The KeY Book: From Theory to Practice 1st Edition Wolfgang Ahrendt – Ebook Instant Download/Delivery ISBN(s): 9783319498119,9783319498126,3319498118,3319498126

You may also like…

Sale!
Quick View

Medicine

Advanced MR Neuroimaging: From Theory to Clinical Practice 1st Edition Ioannis Tsougos

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Medicine - Others

Occupational Health Ethics From Theory to Practice Jacques Tamin

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Uncategorized

Iceland from the West to the South Wolfgang Fraedrich

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Computers - Networking

C from Theory to Practice George S. Tselikis

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Relationships & Lifestyle - Psychological Self-Help

Research Methods: From Theory to Practice Ben Gorvine

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Mathematics - Applied Mathematics

How to Solve Real-world Optimization Problems: From Theory to Practice 1st Edition Zak

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Education Studies & Teaching - School Education & Teaching

Contemporary Feminist Research from Theory to Practice Patricia Leavy

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Computers - Computer Science

Genetic Programming Theory and Practice XV Wolfgang Banzhaf

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Computers - Networking

Computing in Communication Networks: From Theory to Practice 1st Edition Frank Fitzek

Original price was: $50.00.Current price is: $25.00.