Name: Mathematics of Program Construction
Brand: Springer-Verlag GmbH
SKU: ID12470046

Mathematics of Program Construction

52.94 EUR 10% Off 59.00 EUR

Der Band sammelt die neuesten Forschungsergebnisse aus der 12. Internationalen Konferenz zum mathematischen Aufbau von Programmen, beleuchtet formale Methoden und verfeinert Techniken zur Softwareverifikation und -optimierung.

Marke: Springer-Verlag GmbH

ISBN: 3319197967

MPN: 44 black & white illustrations, biograph

Angebote
Merkmale

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

-10%

Gesponsert Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings (Lecture Notes in Computer Science)

Medimops DE

52.94 EUR 59.00 EUR

06-11-2026 07:04:58

Access to the deal

-9%

Gesponsert Mathematics of Program Construction

Hugendubel

53.49 EUR 59.00 EUR

07-11-2026 12:43:31

Access to the deal

Gesponsert Mathematics of Program Construction

SpringerLink DE

59.00 EUR 59.00 EUR

06-11-2026 06:23:34

Access to the deal

Mathematics of Program Construction

Gesponsert Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings (Lecture Notes in Computer Science)

Gesponsert Mathematics of Program Construction

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

Gesponsert Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings (Lecture Notes in Computer Science)

Gesponsert Mathematics of Program Construction

Gesponsert Mathematics of Program Construction

Ähnliche Produkte

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)

Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings (Lecture Notes in Computer Science, 669, Band 669)