| 000 | 00562nam a2200169 a 4500 | ||
|---|---|---|---|
| 005 | 20130813142848.0 | ||
| 008 | 960221s1955 dcuabcdjdbkoqu001 0deng d | ||
| 100 |
_aSernadas, A _ed. by |
||
| 245 | _aInformation systems: theoretical and formal aspects | ||
| 260 |
_aAmsterdam _bElsevier _c1983 |
||
| 300 | _ax, 236p. | ||
| 500 | _a Proceedings of the IFIP WG8.1 working conference on theoretical and formal aspects of information system. | ||
| 653 |
_aElectrical engineering _aComputer science |
||
| 700 |
_aBunbeko, J _aOlive, A |
||
| 942 | _cBK | ||
| 003 | ViArRB | ||
| 999 |
_c18919 _d18918 |
||