Formal Specification : techniques and applications /
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Inglés |
| Publicado: |
London :
Springer,
1999
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 00591nam a2200217 4500 | ||
|---|---|---|---|
| 001 | 029255 | ||
| 003 | arbauncb | ||
| 008 | 150429s1999 xxk g 000 0 eng d | ||
| 005 | 20171018132356.0 | ||
| 040 | |a AR-BaUNCB |c AR-BaUNCB | ||
| 245 | 1 | 0 | |a Formal Specification : |b techniques and applications / |c Nimal Nissanke |
| 260 | |a London : |b Springer, |c 1999 | ||
| 020 | |a 1852330023 | ||
| 100 | 1 | |a Nissanke, Nimal | |
| 082 | 0 | 4 | |a 005.12 |
| 650 | 7 | |a Computación |2 mpirdes | |
| 653 | |a Especificación | ||
| 653 | |a Ingeniería del software | ||
| 653 | |a Software | ||
| 300 | |a 295 p. |c 23 cm | ||
| 999 | |c 29162 |d 29162 | ||