Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures /
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Livre |
| Langue: | anglais |
| Publié: |
Berlín, Alemania :
Springer,
2002, c2002
|
| Collection: | (Lecture Notes in Computer Science)
|
| Accès en ligne: | Ver documento en línea |
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires: Algebraic and Coalgebraic Methods in the Mathematics of Program Construction :
- Mathematics of Program Construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings /
- Generic Programming : Advanced Lectures /
- Mathematics of Program Construction : 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings /
- Datatype-Generic Programming : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures /
- Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings /
- Algebra and Coalgebra in Computer Science : 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings /