Hoppa till sidans huvudinnehåll

Supratik Chakraborty – författare

Visar alla böcker från författaren Supratik Chakraborty.
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

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