Log in to your account
Woodcock,, Jim
Using Z : specification, refinement, and proof / Jim Woodcock, Jim Davies
Using Z : specification, refinement, and proof / Jim Woodcock, Jim Davies . - London : Prentice Hall, 1996 . - XVI, 386 p. 24 cm . - (Prentice Hall series in computer science)
0-13-948472-8 (Brochado)
519.68
510.5
Using Z : specification, refinement, and proof / Jim Woodcock, Jim Davies . - London : Prentice Hall, 1996 . - XVI, 386 p. 24 cm . - (Prentice Hall series in computer science)
0-13-948472-8 (Brochado)
519.68
510.5
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
