Del 10001
Deductive Software Verification – The KeY Book
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich
Häftad, 2016
1 338 kr
The Network
Häftad, Engelska
350 kr
Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt över 249 kr.
Produktinformation
Hoppa över listan
Mer från samma författare
Deductive Software Verification - The KeY Book
Mattias Ulbrich, Peter H. Schmitt, Reiner Hahnle, Richard Bubel, Bernhard Beckert, Wolfgang Ahrendt
E-bok
20161 785 kr
Verification of Object-Oriented Software. The KeY Approach
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
Häftad, 2007
1 116 kr
Verification of Object-Oriented Software. The KeY Approach
Peter H. Schmitt, Reiner Hahnle, Bernhard Beckert
E-bok
20071 459 kr
Hoppa över listan
Du kanske också är intresserad av
Verification of Object-Oriented Software. The KeY Approach
Peter H. Schmitt, Reiner Hahnle, Bernhard Beckert
E-bok
20071 459 kr
Deductive Software Verification - The KeY Book
Mattias Ulbrich, Peter H. Schmitt, Reiner Hahnle, Richard Bubel, Bernhard Beckert, Wolfgang Ahrendt
E-bok
20161 785 kr
Verification of Object-Oriented Software. The KeY Approach
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
Häftad, 2007
1 116 kr
Del 10001
Deductive Software Verification – The KeY Book
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich
Häftad, 2016
1 338 kr
- Nyhet
Del 7