Mathematics of Program Construction
9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings
0 Recensies
Samenvatting
Samenvatting
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.Specificaties
Specificaties
ISBN
9783540705932
Verschenen
01-01-2008
Bindwijze
Paperback
Pagina's
423 pagina's
Druk
1e
Taal
Engels
Recensies (0)
Recensies (0)
Geen recensies beschikbaar.