Tools and Algorithms for the Construction and Analysis of Systems
Editat de Dirk Beyer et al.
4 apr 2019
Paperback
Preț: 321.40 lei 401.75 lei
3-5 săpt. | 4-10 zile
-20%
Cărți de Dirk Beyer
Tests and Proofs
Editat de Dirk Beyer et al.
11 sep 2019
Paperback
Preț: 318.06 lei 397.57 lei
6-8 săpt.
-20%
Verification, Model Checking, and Abstract Interpretation
Editat de Dirk Beyer et al.
7 feb 2020
Paperback
Preț: 498.05 lei 622.55 lei
3-5 săpt. | 4-10 zile
-20%
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Dirk Beyer et al.
12 apr 2018
Paperback
Preț: 357.38 lei 446.72 lei
6-8 săpt.
-20%