Gå direkt till innehållet
Mathematics of Program Construction
Spara

Mathematics of Program Construction

Lägsta pris på PriceRunner
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.
Undertitel
9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings
Upplaga
2008 ed.
ISBN
9783540705932
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2008-07-04
Sidor
423