Abbildung von: The Programming and Proof System ATES - Springer

The Programming and Proof System ATES

Advanced Techniques Integration into Efficient Scientific Software
Armand Puccetti(Herausgeber*in)
Springer (Verlag)
1. Auflage
Erschienen am 11. November 2013
VIII, 341 Seiten
E-Book
ePUB mit Adobe-DRM
E-Book
PDF mit Wasserzeichen-DRM
978-3-642-84542-0 (ISBN)
ab 6,49 €
Als Download verfügbar

Beschreibung

Alle Preise

Weitere Details

Weitere Ausgaben

Personen

Inhalt

Systemvoraussetzungen