Kirjat Hermann Lehner
Valintaa vastaavia tuotteita ei löytynyt.
-25%
A Formal Definition of JML in Coq: and its Application to Runtime Assertion Checking
97,04 €
129,38 €
-25% koodilla BOOKS
Toimittajalla varastossa