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

Lecture Notes in Computer Science, nr. 12031

Editat de Supratik Chakraborty et al.

14 mar 2020

Preț: 328^.27 lei 410^.34 lei

43-57 zile

-20%

Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7561

Editat de Madhavan Mukund et al.

16 aug 2012

Preț: 339^.99 lei 424^.99 lei

43-57 zile

-20%