Supratik Chakraborty – författare
Visar alla böcker från författaren Supratik Chakraborty. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Del 12031 - Lecture Notes in Computer Science
Verified Software. Theories, Tools, and Experiments
11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers
Häftad, Engelska, 2020
719 kr
Skickas inom 10-15 vardagar
Automated Technology for Verification and Analysis
10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
Häftad, Engelska, 2012
719 kr
Skickas inom 10-15 vardagar