Mathematics of Program Construction | Kaicus Deutschland

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