-
Deutschland
Land International
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings (Lecture Notes in Computer Science)
Die Proceedings der ITP 2016 aus Nancy präsentieren aktuelle Forschung zu interaktiven Theorembeweisen: neue Methoden, formale Verifikationswerkzeu ...
Gesponsert
Hugendubel
53.49 EUR
Preis aktualisiert am: 19-09-2026 23:12:12
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 22-09-2026 14:38:26
Gesponsert
Medimops DE
53.49 EUR
Preis aktualisiert am: 21-09-2026 07:57:19
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 23-09-2026 00:26:28
Allgemein
Marke
Blanchette, Jasmin Christian
ISBN
Blanchette, Jasmin Christian 9783319431437
