Mathematics of Program Construction : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings /

Guardado en:
Bibliografiske detaljer
Hovedforfatter: Claude Bolduc, Jules Desharnais, Béchir Ktari (edición)
Format: Bog
Sprog:engelsk
Udgivet: Berlín, Alemania : Springer, 2010, c2010
Serier:(Lecture Notes in Computer Science)
Online adgang:Ver documento en línea
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!