Real-Time Systems
Autor Ernst-Rüdiger Olderog et al.
11 sep 2008
Hardback
Preț: 617.87 lei 772.34 lei
43-57 zile
-20%
Cărți de Ernst-Rüdiger Olderog
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%
Provably Correct Systems
Editat de Mike Hinchey et al.
10 mar 2017
Hardback
Preț: 697.59 lei 871.98 lei
38-44 zile
-20%