Engineering theories of software construction /
Guardado en:
| Autor Corporativo: | |
|---|---|
| Otros Autores: | , , |
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Burke, VA :
IOS Press,
2001.
|
| Series: | NATO science series. Computer and systems sciences ;
v. 180 |
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 01320cam a22002894a 4500 | ||
|---|---|---|---|
| 001 | DCC.dcic001602 | ||
| 008 | 010222s2001####vaua#####b####001#0#eng## | ||
| 005 | 20151130161217.0 | ||
| 245 | 0 | 0 | |a Engineering theories of software construction / |c [edited by] Tony Hoare, Manfred Broy, and Ralf Steinbrüggen.. |
| 260 | |a Burke, VA : |b IOS Press, |c 2001. | ||
| 300 | |a ix, 357 p. : |b il. ; |c 25 cm. | ||
| 490 | 1 | |a NATO science series. Series III, Computer and systems sciences ; |v 180 | |
| 500 | |a "Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Construction, 25 July-6 August 2000, Markotoberdorf, Germany"--T.p. verso. | ||
| 504 | |a Incluye referencias bibliográficas e índice. | ||
| 020 | |a 1586031724 (IOS Press) | ||
| 020 | |a 4274904350 (Ohmsha) | ||
| 700 | 1 | |a Hoare, C. A. R. |q (Charles Antony Richard), |d 1934- | |
| 700 | 1 | |a Broy, M., |d 1949- | |
| 700 | 1 | |a Steinbrüggen, Ralf. | |
| 711 | 2 | |a NATO Advanced Study Institute on Engineering Theories of Software Construction |d (2000 : |c Marktoberdorf, Germany) | |
| 830 | 0 | |a NATO science series. |n Series III, |p Computer and systems sciences ; |v v. 180 | |
| 650 | 0 | |a Software engineering. | |
| 650 | 0 | |a System design. | |
| 010 | |a 2001087962 | ||
| 040 | |a DLC |c DLC |d DLC | ||
| 050 | 0 | 0 | |a QA76.758 |b .E55 2001 |
| 859 | |a DCIC |b BIB. COMPUTACION |p 2171 | ||