Tests and Proofs
Die Proceedings der sechsten TAP-Konferenz präsentieren neueste Forschung zu formalen Verifikationsmethoden und Theorem-Proving, verpackt in kompakte ...
Gesponsert
Medimops DE
53.49 EUR
Preis aktualisiert am: 15-06-2026 08:27:33
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 15-06-2026 15:22:42
Allgemein
Marke
Springer-Verlag GmbH
MPN
Springer-Verlag GmbH 57 black & white illustrations
ISBN
Springer-Verlag GmbH 9783642304729
