Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
53.49 EUR
Die Proceedings der ITP 2016 aus Nancy bieten einen tiefen Einblick in interaktive Theorembeweise: neue Algorithmen, formale Verifikation und praktische Anwendungen im Software‑Engineering werden detailliert vorgestellt.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings (Lecture Notes in Computer Science)
Medimops DE
14-06-2026 02:16:52
SpringerLink DE
Gesponsert
Galaxus.de
Interactive Theorem Proving, Fachbücher von Jasmin Christian Blanchette, Stephan Merz
Galaxus.de
13-06-2026 02:22:38
