000			02356cam a22005297a 4500
001			15605097
003			OSt
005			20150408114156.0
008			090130s2009 gw a b 101 0 eng d
010			_a 2009921993
015			_a09,N10,0077 _2dnb
016	7		_a992751535 _2DE-101
020			_a9783642004308 (acidfree paper)
020			_a364200430X
035			_a(OCoLC)ocn320934399
040			_aZCU _beng _cZCU _dGBVCP _dDEBBG _dOCL _dDLC
042			_alccopycat
050	0	0	_aQA76.76.V47 _bM63 2008
082	0	0	_a006.3 _223 _bMOC
084			_aDAT 325f _2stub
084			_aDAT 706f _2stub
084			_aSS 4800 _2rvk
111	2		_aMoChArt 2008 _d(2008 : _cPatrai, Greece) _93491
245	1	0	_aModel Checking and Artificial Intelligence : _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. : _bill. ; _c24 cm.
490	1		_aLecture notes in computer science, _x0302-9743 ; _v5348. _aLecture notes in artificial intelligence
504			_aIncludes bibliographical references and index.
650		0	_aComputer systems _xVerification _vCongresses. _93492
650		0	_aComputer software _xVerification _vCongresses. _93493
650		0	_aArtificial intelligence _vCongresses.
650		4	_aK�unstliche Intelligenz _xModel Checking _vKongress _zPatras <2008> _940717
650	0	7	_aModel Checking. _2swd
655		7	_aKongress. _2swd _93496
700	1		_aPeled, Doron, _d1962- _93497
700	1		_aWooldrige, Michael J. _93498
830		0	_aLecture notes in computer science ; _v5348. _93499
830		0	_aLecture notes in computer science. _pLecture notes in artificial intelligence.
856	4	1	_3Table of contents _uhttp://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=017188181&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
856	4	1	_uhttp://d-nb.info/992751535/04 _3Inhaltsverzeichnis
856	4	2	_3Publisher description _uhttp://www.loc.gov/catdir/enhancements/fy1109/2009921993-d.html
906			_a7 _bcbc _ccopycat _d2 _eepcn _f20 _gy-gencatlg
942			_2ddc _cDVD
999			_c32450 _d266950