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