Freunden von diesem Artikel berichten:
Computer Aided Verification Constantin Enea
Preis
SFr. 35,99
exkl. MwSt.
Bestellware
Lieferdatum: ca. 27. Jul - 4. Aug
Benachrichtigungen über neue Veröffentlichungen von Constantin Enea erhalten
Zu deiner iMusic Wunschliste hinzufügen
Computer Aided Verification
Constantin Enea
| Medien | Bücher Buch |
| Erscheinungsdatum | 18. Juli 2023 |
| ISBN13 | 9783031377020 |
| Verlag | Springer |
| Maße | 150 × 220 × 20 mm · 721 g |
| Sprache | Deutsch |
Andere Titel dieser Serie
![Cover for Constantin Enea · Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I - Lecture Notes in Computer Science (Taschenbuch) [1st ed. 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/051/9783031377051.jpg?constantin-enea-2023-computer-aided-verification-35th-international-conference-cav-2023-paris-france-july-17-22-2023-proceedings-part-i-lecture-notes-in-computer-science-taschenbuch&class=scaled&v=1749894334)
![Cover for Constantin Enea · Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III - Lecture Notes in Computer Science (Taschenbuch) [1st ed. 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/082/9783031377082.jpg?constantin-enea-2023-computer-aided-verification-35th-international-conference-cav-2023-paris-france-july-17-22-2023-proceedings-part-iii-lecture-notes-in-computer-science-taschenbuch&class=scaled&v=1750151761)
Mehr vom selben Verlag
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Taschenbuch) [1. Aufl. 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
Alle Titel von Constantin Enea ansehen ( u. a. Taschenbuch und Buch )