000			01112 a2200241 4500
003			Nust
005			20220720100123.0
010			_a 95010608
020			_a0198538545
040			_cNust
082	0	0	_a004.015,SPE
245	0	0	_aSpecification and validation methods / _cedited by Egon Borger.
260			_aOxford : _bClarendon ; _aNew York : _bOxford University Press, _c1995.
300			_a460 p. : _bill. ; _c24 cm.
440		0	_aInternational schools for computer scientists _993961
440		0	_aOxford science publications _993962
505			_aIntroduction (Page -1), Part-1: Evolving Algebras (Page-7), Part-II: Programming Languages (Page-53), Part-III: Parallel and Distributed Programs (Page-165), Part-IV: Protocols (Page-245), Part-V: Architecture Design (Page-329).
650		0	_aProgramming languages (Electronic computers) _93683
700	1		_aB诲ger, E. _d1946- _993963
856	4	2	_3Publisher description _uhttp://www.loc.gov/catdir/enhancements/fy0640/95010608-d.html
856	4	2	_3Table of contents only _uhttp://www.loc.gov/catdir/enhancements/fy0640/95010608-t.html
942			_cREF _2ddc
999			_c174740 _d174740