Real-Time Systems
Autor Ernst-Rüdiger Olderog et al.
11 sep 2008
Hardback
Preț: 617.87 lei 772.34 lei
6-8 săpt.
-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
6-8 săpt.
-20%
Provably Correct Systems
Editat de Mike Hinchey et al.
10 mar 2017
Hardback
Preț: 690.56 lei 863.20 lei
38-44 zile
-20%