Suchergebnisse für "Alexandra Silva/K Rustan M Leino"
Redaktionelle Inhalte
Keine redaktionellen Inhalte für "Alexandra Silva/K Rustan M Leino" gefunden.
Katalogsuche
Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20-23,2021, Proceedings, Part II, Lecture Notes in Computer Science 12760 - Theoretical Computer Science and General Issues
Alexandra Silva/K Rustan M Leino
Springer Verlag GmbH
42,79 €
(inklusive MwSt.)
Lieferbar
Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20-23,2021, Proceedings, Part I, Lecture Notes in Computer Science 12759 - Theoretical Computer Science and General Issues
Alexandra Silva/K Rustan M Leino
Springer Verlag GmbH
42,79 €
(inklusive MwSt.)
Lieferbar
