Zum Hauptinhalt springen
Umbreit Logo

Suchergebnisse für "Georges Gonthier/Michael Norrish"

Redaktionelle Inhalte

Keine redaktionellen Inhalte für "Georges Gonthier/Michael Norrish" gefunden.

Katalogsuche

Cover von Certified Programs and Proofs

Certified Programs and Proofs

Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings, Lecture Notes in Computer Science 8307 - Theoretical Computer Science and General Issues

Georges Gonthier/Michael Norrish

Springer Verlag GmbH

53,49 €

(inklusive MwSt.)

Lieferbar

Der Umbreit-Newsletter

Jetzt anmelden und immer über Angebote, Neuigkeiten und Aktionen informiert bleiben.

Jetzt anmelden