Automated Technology for Verification and Analysis
Editat de Madhavan Mukund et al.
16 aug 2012
Paperback
Preț: 328.94 lei 411.17 lei
6-8 săpt.
-20%
Cărți de Supratik Chakraborty
Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers
Editat de Supratik Chakraborty et al.
14 mar 2020
Paperback
Preț: 315.80 lei 394.74 lei
6-8 săpt.
-20%