Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Author / Christine Paulin-Mohring (eds.)

Books by author

Christine Paulin-Mohring (eds.)

Mathematics of Program Construction: 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

Mathematics of Program Construction: 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

2008 · ENGLISH · PDF

View details →

Types for Proofs and Programs: International Workshop TYPES’96 Aussois, France, December 15–19, 1996 Selected Papers

Types for Proofs and Programs: International Workshop TYPES’96 Aussois, France, December 15–19, 1996 Selected Papers

1998 · ENGLISH · DJVU

View details →

Mathematics of Program Construction: 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

Mathematics of Program Construction: 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

2008 · ENGLISH · PDF

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme