-
Deutschland
Land International
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... Notes in Computer Science, Band 10895)
Der Band dokumentiert die neuesten Erkenntnisse der ITP‑2018-Konferenz in Oxford – von formalen Beweisstrategien über automatisierte Verifikation ...
Gesponsert
Medimops DE
86.98 EUR
Preis aktualisiert am: 02-11-2026 23:08:09
Gesponsert
Galaxus.de
96.29 EUR
Preis aktualisiert am: 29-10-2026 14:36:32
Gesponsert
Hugendubel
96.49 EUR
Preis aktualisiert am: 29-10-2026 11:12:16
Gesponsert
SpringerLink DE
106.50 EUR
Preis aktualisiert am: 01-11-2026 18:30:13
Allgemein
Marke
Jeremy Avigad
ISBN
Jeremy Avigad 9783319948201
