Jonathan Protzenko – författare
Visar alla böcker från författaren Jonathan Protzenko.
1 produkt
1 produkt
Del 15525 - Lecture Notes in Computer Science
Verified Software. Theories, Tools and Experiments
16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers
Häftad, Engelska, 2025
729 kr
Skickas inom 10-15 vardagar