Formal Methods for Components and Objects
Editat de Elena Giachino et al.
26 aug 2013
Paperback
Preț: 292.27 lei 365.35 lei
43-57 zile
-20%
Frank S. De Boer
Verification of Sequential and Concurrent Programs
Autor Krzysztof R. Apt et al.
14 mar 2012
Paperback
Preț: 546.95 lei 683.69 lei
43-57 zile
-20%
Theoretical Computer Science
Editat de Jos C. M. Baeten et al.
18 aug 2012
Paperback
Preț: 327.27 lei 409.09 lei
43-57 zile
-20%
Formal Methods for Components and Objects
Editat de Bernhard Beckert et al.
3 ian 2013
Paperback
Preț: 325.63 lei 407.04 lei
43-57 zile
-20%