Trefferliste "Jonathan Protzenko" - alle Bücher

Ihre Suche nach "Jonathan Protzenko" (Bücher) ergab 1 Treffer.

Ansicht:

Verified Software. Theories, Tools and Experiments

This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14–15, 2024. The 6 full papers, as wel…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 54,75
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.