000			02039cam a22005177a 4500
001			7919704
003			OSt
005			20150408113915.0
006			m d
007			cr n
008			110828s2009 gw a |sb 101 0 eng d
015			_2dnb
016	7		_a992751535 _2DE-101
020			_a9783642004308 (acidfree paper)
020			_a364200430X
035			_a(WaSeSS)ssj0000318967
040			_aZCU _beng _cدار اجنادين _dGBVCP _dDEBBG _dOCL _dDLC _dWaSeSS
042			_alccopycat
082	0	0	_a006.3 _221 _bM O M
084			_2stub
084			_2stub
084			_2rvk
111	2		_aMoChArt 2008 _d(2008 : _cPatrai, Greece) _93491
210	1	0	_aModel Checking and Artificial Intelligence
245	1	0	_aModel Checking and Artificial Intelligence _h[electronic resource] : _b5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers / _cDoron A. Peled, Michael J. Wooldrige (eds.).
246	3		_aMoChArt 5
246	3		_aMoChArt five
260			_aBerlin ; _aNew York : _bSpringer, _cc2009.
300			_a188 p. : _bills. ; _c24 c.m.
490	1		_aLecture notes in computer science, _x0302-9743 ; _v5348. _aLecture notes in artificial intelligence
504			_aIncludes bibliographical references and index.
506			_aLicense restrictions may limit access.
650		0	_aComputer systems _xVerification _vCongresses. _93492
650		0	_aComputer software _xVerification _vCongresses. _93493
650		0	_aArtificial intelligence _vCongresses. _93451
650		4	_aKünstliche Intelligenz _xModel Checking _vKongress _zPatras <2008> _93494
650	0	7	_aModel Checking. _2swd _93495
655		7	_aKongress. _2swd _93496
700	1		_aPeled, Doron, _d1962- _93497
700	1		_aWooldrige, Michael J. _93498
773		0	_tSpringerLink ebooks - Computer Science (2009)
830		0	_aLecture notes in computer science ; _v5348. _93499
830		0	_aLecture notes in computer science.
910			_aLibrary of Congress record
942			_2ddc _cDVD
999			_c13952 _d248452