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

Ein kompakter Sammelband der 12. Internationalen Konferenz zum mathematischen Aufbau von Programmen, der fortschrittliche Methoden zur formalen Analys ...

Allgemein

Marke
Springer-Verlag GmbH
ISBN
Springer-Verlag GmbH 3319197967
MPN
Springer-Verlag GmbH 44 black & white illustrations, biograph

Eigenschaften

Menü