Hoppa till sidans huvudinnehåll

Supratik Chakraborty - Böcker

Visar alla böcker från författaren Supratik Chakraborty.
2 produkter

Verified Software. Theories, Tools, and Experiments

11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers

AvSupratik Chakraborty,Jorge A. Navas

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

AvMadhavan Mukund,Supratik Chakraborty

Häftad, Engelska, 2012

719 kr

Skickas inom 10-15 vardagar