000			00499nam a2200181 4500
001			0000014073
008			231118s9999 xx 000 0 und d
020	0	0	_a0471321028
040			_aPJB
090	0		_aQA76.63 1998
100	0	0	_aRussell, Sharri.
245	0	0	_aPractical programming logic _cSharri russell.
250	0	0	_a2nd. ed.
260	0	0	_aUSA _bJohn Wiley & Sons _c1998
300			_ax, 313p., var. p. _c27cm.
650	0	0	_aFormal methods (Computer science)
650	0	0	_aLogic programming.
999			_c134482 _d134482