Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings (Lecture Notes in Computer Science)
In den Proceedings der sechsten ITP‑Konferenz aus Nanjing finden sich Beiträge zu neuen Algorithmen für formale Verifikation, interaktive Beweissy ...
Gesponsert
Medimops DE
53.49 EUR
Preis aktualisiert am: 10-05-2026 22:09:10
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 10-05-2026 21:50:59
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 10-05-2026 15:34:29
Allgemein
Marke
Springer-Verlag GmbH
ISBN
Springer-Verlag GmbH 3319221019
MPN
Springer-Verlag GmbH bibliography
