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