000			00684nam a2200229Ia 4500
008			161214s9999 xx 000 0 und d
020			_a9780792378228 _c(hbk)
082			_223 _a621.392 _bGAJ
100			_aGajski, Daniel D.
245		0	_aSpec C: Specification Language and Methodology
260			_aLondon: _bKluwer Academic Publishers, _c2000
300			_a313 p.; _bIllus. Index.: _c24 cm.
650			_aCommunication Systems
650			_aDesign Methodology
650			_aMethodology
650			_aSpecification Language
650			_aSystem Level Design Challenge
700			_aDomer, Rainer
700			_aGerstlauer, Andreas
700			_aZhu, Jianwen
942			_2ddc _cBK
999			_c18798 _d18798