000			01507nam a2200241 u 4500
001			000460056
005			20240715053503.0
008			051026s1979 ||||||||||||||||||||eng d
020			_a0444853944
041	0		_aeng
111	2		_aIFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design _d(1979 : _cOxford, England)
245	1	0	_aFormal models and practical tools for information systems design : _bproceedings of the IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, Oxford, U.K., April 17-20, 1979 / _cedited by Hans-Jochen Schneider.
260			_aAmsterdam ; _bNorth-Holland Pub. Co. , _c1979. _aNew York : _bsole distributors for the U.S.A. and Canada, Elsevier North-Holland,.
300			_aix, 297 p. _bill. ; _c23 cm.
500			_a"Organized by IFIP Technical Committee 8, Information Systems, International Federation for Information Processing."
504			_aIncludes bibliographies.
650	1	4	_aInformation storage and retrieval systems _xCongresses.
650	1	4	_aFormal languages _xCongresses.
650	1	4	_aComputer programming _xCongresses.
700	1		_aSchneider, Hans-Jochen.
710	2		_aInternational Federation for Information Processing. _bCommittee on Information Systems.
999			_c50272 _d50272