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
Medimops DE
53.49 EUR
Preis aktualisiert am: 13-05-2026 15:54:44
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 13-05-2026 14:29:16
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 13-05-2026 12:29:26
Allgemein
Marke
Blanchette, Jasmin Christian
ISBN
Blanchette, Jasmin Christian 9783319431437
