| 000 | 01048nam a2200229 a 4500 | ||
|---|---|---|---|
| 008 | 970106s1989^^^^^^^a^^^^^^^^^^000^0^eng^^ | ||
| 020 | _a3-540-51369-8 | ||
| 035 | _aMX001000479682 | ||
| 050 |
_aQA75.5 _bN37 |
||
| 111 | 0 |
_aNato Advanced Study Institute On Constructive Methods In Computing Science _c(1988 : Marktoberdorf, Alemania) |
|
| 245 | 1 | 0 |
_aConstructive methods in computing science / _cEd. by manfred broy |
| 264 | 1 |
_aBerlin : _bSpringer Verlag, _cc1989 |
|
| 300 | _a478 páginas | ||
| 336 |
_atexto _2rdacontent |
||
| 337 |
_asin medio _2rdamedia |
||
| 338 |
_avolumen _2rdacarrier |
||
| 490 | 0 |
_aNato asi series f. computer and systems sciences ; _vv. 55 |
|
| 500 | _a"published in cooperation with nato scientific affairs division" | ||
| 500 | _a"proceedings of the nato advanced study institute on constructive methos computing science held at marktoberdorf, federal republic of germany, july 24 - august 5, 1988" | ||
| 650 |
_aProcesamiento electrónico de datos _vCongresos |
||
| 700 | 1 |
_aBroy, M., _d1949- _eeditor |
|
| 999 |
_c17199 _d17199 |
||