Métodos formais para o desenvolvimento de programas /
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Lenguaje: | Indeterminado Portugués |
| Publicado: |
Buenos Aires :
Kapelusz,
1989
|
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 00582cam a22002057a 4500 | ||
|---|---|---|---|
| 001 | 001898 | ||
| 003 | armpuni | ||
| 005 | 20160923150536.0 | ||
| 008 | 160923s1989####xx#a##########000#0#und#d | ||
| 040 | |a armpuni |c armpuni | ||
| 041 | |a por | ||
| 080 | |a 519.6 | ||
| 100 | 1 | |a Alencar, Paulo S.C. de | |
| 245 | 1 | 0 | |a Métodos formais para o desenvolvimento de programas / |c Paulo S.C. de Alencar, Carlos J.P. de Lucena |
| 260 | |a Buenos Aires : |b Kapelusz, |c 1989 | ||
| 300 | |a 175 p.;, 23 cm. | ||
| 700 | 1 | |a Lucena, Carlos J.P. de | |
| 942 | |c LB |2 cdu | ||
| 945 | |a Infor |d 1990-09-04 | ||
| 999 | |c 1897 |d 3072 | ||