Del 10001
Deductive Software Verification – The KeY Book
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich, Reiner Hahnle
Häftad
1 689 kr
The Network
Häftad, Engelska
419 kr
Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- FormatHäftad
- SpråkEngelska
- Antal sidor320
- Förlag3 Big Cats Publishing
- ISBN9780982947012
Hoppa över listan
Mer från samma författare
Verification of Object-Oriented Software. The KeY Approach
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
Häftad
1 409 kr
Hoppa över listan
Du kanske också är intresserad av
Verification of Object-Oriented Software. The KeY Approach
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
Häftad
1 409 kr
Del 10001
Deductive Software Verification – The KeY Book
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich, Reiner Hahnle
Häftad
1 689 kr