000			01493nam a22004335i 4500
001			978-1-4419-6984-2
003			DE-He213
005			20130515021044.0
007			cr nn 008mamaa
008			100721s2010 xxu| s |||| 0|eng d
020			_a9781441969842 _9978-1-4419-6984-2
024	7		_a10.1007/978-1-4419-6984-2 _2doi
050		4	_aQA76.758
072		7	_aUMZ _2bicssc
072		7	_aCOM051230 _2bisacsh
082	0	4	_a005.1 _223
100	1		_aDastani, Mehdi.
245	1	0	_aSpecification and Verification of Multi-agent Systems _h[electronic resource] / _cedited by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer.
260			_aBoston, MA : _bSpringer US, _c2010.
300			_bdigital.
650		0	_aComputer science.
650		0	_aSoftware engineering.
650		0	_aElectronic data processing.
650		0	_aArtificial intelligence.
650	1	4	_aComputer Science.
650	2	4	_aSoftware Engineering/Programming and Operating Systems.
650	2	4	_aArtificial Intelligence (incl. Robotics).
650	2	4	_aMathematical Logic and Formal Languages.
650	2	4	_aSoftware Engineering.
650	2	4	_aComputing Methodologies.
700	1		_aHindriks, Koen V.
700	1		_aMeyer, John-Jules Charles.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9781441969835
856	4	0	_uhttp://dx.doi.org/10.1007/978-1-4419-6984-2
912			_aZDB-2-SCS
999			_c73252 _d73252