Log in to your account
Proof, language, and interaction : essays in honour of Robin Milner / ed. Gordon Plotkin, Colin Stirling, Mads Tofte
Proof, language, and interaction : essays in honour of Robin Milner / ed. Gordon Plotkin, Colin Stirling, Mads Tofte . - Cambridge, Mas. : The MIT Press, cop. 2000 . - XIV, 722 p. 24 cm . - (Foundations of computing)
0-262-16188-5 Encadernado
681.3
Proof, language, and interaction : essays in honour of Robin Milner / ed. Gordon Plotkin, Colin Stirling, Mads Tofte . - Cambridge, Mas. : The MIT Press, cop. 2000 . - XIV, 722 p. 24 cm . - (Foundations of computing)
0-262-16188-5 Encadernado
681.3
Exporting to Dublin Core...
Bibliotecas Libraries
Serviços Services
Contactos gerais Contacts
- Serviço de Documentação e Bibliotecas
- Campus de Gualtar, Edifício 04
- 4710-057 Braga
- +351 253 604 150
- usdb@usdb.uminho.pt
- http://www.sdum.uminho.pt
- Serviço de Documentação e Bibliotecas
- Campus de Gualtar, Edifício 04
- 4710-057 Braga
- +351 253 604 150
- usdb@usdb.uminho.pt
