000			01089nam a2200253 a 4500
001			vtls000069424
003			KUKTEM
005			20251125093551.0
008			130425t2007 nyua g bi 001 0 eng d
020			_a9783540709510
039		9	_a201312271506 _bsafura _y201304251132 _zshikin
040			_aUMP
090			_aQA76.9.F67 F676 2007
245	0	0	_aFormal methods : _bapplications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers / _cLuboš Brim ... [et al.]
260			_aNew York : _bSpringer, _c2007
300			_ax, 361 p. : _bill. ; _c24 cm.
490			_aLecture notes in computer science
504			_aIncludes bibliographical references and index
650		0	_aFormal methods (Computer science) _vCongresses
650		0	_aSoftware engineering _vCongresses
650		0	_aComputer programs _xVerification _vCongresses
700	1		_aBrim, LuboÌŒs.
999			_aVIRTUA40 _c65935 _d65941
999			_aVTLSSORT0080*0200*0400*0900*2450*2600*3000*4900*5040*6500*6501*6502*7000*9992