Log in to your account
On the refinement calculus / ed. Carroll Morgan, Trevor Vickers
On the refinement calculus / ed. Carroll Morgan, Trevor Vickers . - London : Springer-Verlag, cop. 1992 . - [12], 159 p. 24 cm . - (Formal approaches to computing and information technology)
3-540-19809-1 (Encadernado)
519.681
510.624
519.76
On the refinement calculus / ed. Carroll Morgan, Trevor Vickers . - London : Springer-Verlag, cop. 1992 . - [12], 159 p. 24 cm . - (Formal approaches to computing and information technology)
3-540-19809-1 (Encadernado)
519.681
510.624
519.76
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
