Jorge A. Navas - Böcker

Visar alla böcker från författaren Jorge A. Navas.

1 produkt

Kategorier

1 produkt

Verified Software. Theories, Tools, and Experiments

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

Av Supratik Chakraborty, Jorge A. Navas

Häftad, Engelska, 2020

719 kr

Skickas inom 10-15 vardagar