Supratik Chakraborty - Böcker

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

Verified Software. Theories, Tools, and Experiments

Av Supratik Chakraborty, Jorge A. Navas

Häftad, Engelska, 2020

739 kr

Skickas inom 7-10 vardagar
Madhavan Mukund, Supratik Chakraborty - Automated Technology for Verification and Analysis, Häftad

Automated Technology for Verification and Analysis

Av Madhavan Mukund, Supratik Chakraborty

Häftad, Engelska, 2012

739 kr

Skickas inom 7-10 vardagar