000			02014cam a2200373Ma 4500
001			00001877
003			WSP
007			cr cnu|||unuuu
008			190720t20191993si a ob 001 0 eng d
040			_aWSPC _beng _cWSPC
020			_a9789814440813
020			_a9814440817
050	0	4	_aQA76.76.D47 _bC57
072		7	_aCOM _x014000 _2bisacsh
072		7	_aCOM _x051230 _2bisacsh
082	0	4	_a005.1/2/01512 _223
100	1		_aClassen, Ingo. _93348
245	1	0	_aAlgebraic specification techniques and tools for software development _h[electronic resource] : _bthe ACT approach / _cIngo Claszen, Hartmut Ehrig, Dietmar Wolz.
260			_aSingapore ; _aRiver Edge, N.J. : _bWorld Scientific, _c[2019], c1993.
300			_a1 online resource (xvi, 237 p.) : _bill.
490	1		_aAMAST series in computing ; _vvol. 1
538			_aMode of access: World Wide Web.
505	0		_aAlgebraic specification as formal method for software development -- Act one -- a language for parameterized specifications -- Algebraic specification of modular systems -- The act environment -- A formal notions of algebraic specifications -- User manuals for tool support.
520			_aThe intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusability. These methods are introduced by parameterized and module specifications through practical examples and case studies using algebraic specification languages and tools developed at TU Berlin.
504			_aIncludes bibliographical references and index.
650		0	_aComputer software _xDevelopment. _93349
650		0	_aCompilers (Computer programs) _93350
655		0	_aElectronic books. _93294
700	1		_aEhrig, Hartmut. _93351
700	1		_aWolz, Dietmar. _93352
830		0	_aAMAST series in computing ; _vvol. 1. _920530
856	4	0	_uhttps://www.worldscientific.com/worldscibooks/10.1142/1877#t=toc _zAccess to full text is restricted to subscribers.
942			_cEBK
999			_c72416 _d72416