| 000 | 01106 a2200253 4500 | ||
|---|---|---|---|
| 010 | _a 87020638 | ||
| 020 | _a0387180036 (U.S.) | ||
| 035 | _a | ||
| 082 | 0 | 0 | _a005.13/1 |
| 090 |
_c5526 _d5526 |
||
| 245 | 1 | 0 |
_aLogic of programming and calculi of discrete design _bInternational Summer School directed by F.L. Bauer ... [et al.] _cedited by Manfred Broy |
| 260 |
_aBerlin _aNew York _bSpringer-Verlag _cc1987 |
||
| 300 |
_a413 p _bill _c25 cm |
||
| 490 | 1 |
_aNATO ASI series. Series F, Computer and systems sciences _vvol. 36 |
|
| 500 | _a"Published in cooperation with NATO Scientific Affairs Division." | ||
| 500 | _a"Proceedings of the NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design held in Marktoberdorf, Federal Republic of Germany, July 29 - August 10, 1986"--Verso t.p | ||
| 500 | _aCuprinde bibliografie | ||
| 650 | 0 |
_aFormal languages _xCongresses |
|
| 650 | 0 |
_aLogic programming _xCongresses |
|
| 700 | 1 |
_aBroy, M _d1949- |
|
| 710 | 2 |
_aNorth Atlantic Treaty Organization _bScientific Affairs Division |
|
| 830 | 0 | _aNATO ASI series | |
| 942 |
_aIMAR _cCART |
||
| 999 |
_c5394 _d5394 |
||