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

Mathematics of Program Construction

52.94 EUR 1% Off 53.49 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

-1%

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 53.49 EUR

14-06-2026 02:16:08

Access to the deal

Gesponsert Mathematics of Program Construction

SpringerLink DE

53.49 EUR 53.49 EUR

14-06-2026 10:16:44

Access to the deal

Gesponsert Mathematics of Program Construction, Fachbücher von Janis Voigtlander, Ralf Hinze

Galaxus.de

53.49 EUR 53.49 EUR

13-06-2026 22:38:28

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, Fachbücher von Janis Voigtlander, Ralf Hinze

Ä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, Fachbücher von Janis Voigtlander, Ralf Hinze

Ä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)