000			01091 a2200313 4500
020			_a9783540331933 (electronic bk.)
020			_a9783540211501 (paper)
050	0	0	_aQA76.758
082	0	0	_a005.1
090			_c30491 _d30491
100	1		_aBjorner, Dines
546			_aeng
245	1	0	_aSoftware Engineering _nvol. 2 _pSpecification of Systems and Languages _h[electronic resource] _cDines Bjorner
260			_aBerlin, Heidelberg _bSpringer-Verlag Berlin Heidelberg _c2006
300			_avol. 1-3 _bill., digital _c24 cm
300			_avol 1: 777 p.
440		0	_aTexts in Theoretical Computer Science An EATCS Series.
500			_aIndex Bibliografie
650		0	_aSoftware engineering
650		0	_aComputer programming
650	1	4	_aComputer Science.
650	2	4	_aLogics and Meanings of Programs
650	2	4	_aProgramming Languages, Compilers, Interpreters
650	2	4	_aProgramming Techniques
650	2	4	_aSoftware Engineering
710	2		_aSpringerLink (Online service)
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-540-33193-3
942			_aIMAR _cCART _k005.1 _sEP
999			_c30141 _d30141