Suchergebnisse für "Eva Darulova/Anthony W Lin/Philipp Rümmer"
Redaktionelle Inhalte
Keine redaktionellen Inhalte für "Eva Darulova/Anthony W Lin/Philipp Rümmer" gefunden.
Katalogsuche
Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29,2026, Proceedings, Part I, Lecture Notes in Computer Science 16682
Eva Darulova/Anthony W Lin/Philipp Rümmer
Springer Verlag GmbH
42,79 €
(inklusive MwSt.)
Lieferbar
Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29,2026, Proceedings, Part III, Lecture Notes in Computer Science 16684
Eva Darulova/Anthony W Lin/Philipp Rümmer
Springer Verlag GmbH
42,79 €
(inklusive MwSt.)
Lieferbar
Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29,2026, Proceedings, Part II, Lecture Notes in Computer Science 16683
Eva Darulova/Anthony W Lin/Philipp Rümmer
Springer Verlag GmbH
42,79 €
(inklusive MwSt.)
Lieferbar
