A carregar...
Program construction and verification
| Autor principal: | |
|---|---|
| Formato: | Printed Book |
| Publicado em: |
London, Prentice-Hall International
1986
|
| Assuntos: |
MG University
| Área/Cota: |
005.1 005.1 M61 |
|---|---|
| Cód. Barras: | Informação em tempo real indisponível |
| Cód. Barras: | Informação em tempo real indisponível |