Name: Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings
Brand: Springer-Verlag GmbH
SKU: ID13380960
Availability: InStock

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings

53.49 EUR

Die Proceedings der 11. MPC-Konferenz zeigen neue Wege in der Programmverifikation, Logik und Beweisautomatisierung; Beiträge aus Madrid beleuchten theoretische Grundlagen und praktische Anwendungen für Informatiker.

Marke: Springer-Verlag GmbH

MPN: 57 black & white illustrations, biograph

ISBN: 9783642311123

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Mathematics of Program Construction: 11th International Conference, M.P.C. 2012, Madrid, Spain, June 25-27, 2012, Proceedings (Lecture Notes in ... Issues) (Lecture Notes in Computer Science)

Medimops DE

53.49 EUR 53.49 EUR

27-04-2026 19:58:22

Access to the deal

Gesponsert Mathematics of Program Construction

SpringerLink DE

53.49 EUR 53.49 EUR

27-04-2026 22:18:44

Access to the deal

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings

Gesponsert Mathematics of Program Construction: 11th International Conference, M.P.C. 2012, Madrid, Spain, June 25-27, 2012, Proceedings (Lecture Notes in ... Issues) (Lecture Notes in Computer Science)

Gesponsert Mathematics of Program Construction

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings

Gesponsert Mathematics of Program Construction: 11th International Conference, M.P.C. 2012, Madrid, Spain, June 25-27, 2012, Proceedings (Lecture Notes in ... Issues) (Lecture Notes in Computer Science)

Gesponsert Mathematics of Program Construction

Ähnliche Produkte

Mathematics of Program Construction

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Mathematics of Program Construction

Mathematics of Program Construction: 375th Anniversary of the Groningen University. International Conference, Groningen, The Netherlands, June 26-30, ... Notes in Computer Science, 375, Band 375)