Hoppa till sidans huvudinnehåll

Supratik Chakraborty – författare

Visar alla böcker från författaren .
2 produkter
Supratik Chakraborty, Jorge A. Navas - Verified Software. Theories, Tools, and Experiments, Häftad
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

729 kr

Skickas inom 10-15 vardagar

Madhavan Mukund, Supratik Chakraborty - Automated Technology for Verification and Analysis, Häftad

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

729 kr

Skickas inom 10-15 vardagar