Jorge A. Navas – författare
Visar alla böcker från författaren .
1 produkt
1 produkt
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
Häftad, Engelska, 2020
729 kr
Skickas inom 10-15 vardagar