Knygos pagal Hermann Lehner
Produktų, atitinkančių pasirinkimą, nerasta.
-25%
A Formal Definition of JML in Coq: and its Application to Runtime Assertion Checking
97,04 €
129,38 €
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją