Trefferliste "Jonathan Protzenko" - alle Bücher

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

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 well…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 54,75* Aktueller Preis: EUR 54,75

Artikel merken

In den Warenkorb

Menge ändern