Formal program development : IFIP TC2/WG 2.1 state-of-the-art report
| Autor Principal: | |
|---|---|
| Otros autores o Colaboradores: | , |
| Formato: | Libro |
| Lengua: | inglés |
| Datos de publicación: |
Berlín :
Springer,
1993
|
| Edición: | 1a ed. |
| Series: | Lecture notes in computer science
755 |
| Temas: | |
| Acceso en línea: | Consultar en el Cátalogo |
| Descripción Física: | 371 p. ; 24 cm. |
| ISBN: | 3540574999 |