Automated Technology for Verification and Analysis
Editat de Madhavan Mukund et al.
16 aug 2012
Paperback
Preț: 329.94 lei 412.42 lei
6-8 săpt.
-20%
Cărți de Supratik Chakraborty
Verified Software. Theories, Tools, and Experiments
Editat de Supratik Chakraborty et al.
14 mar 2020
Paperback
Preț: 317.66 lei 397.08 lei
6-8 săpt.
-20%