Hermann Lehner grāmatas
Nav atrasti produkti, kas atbilst izvēlei.
-25%
A Formal Definition of JML in Coq: and its Application to Runtime Assertion Checking
97,04 €
129,38 €
-25% ar kodu BOOKS
Piegādātāja noliktavā