000			01356nmm a22003615u 4500
005			20210422111722.0
008			100301s2008 xx j eng d
020			_a9783540892472
050	0	4	_aQA76.9.F67 _bL48 2008
100	1		_aLeucker, Martin.
245	1	0	_aRuntime Verification _h[electronic resource] : _b8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers / _cedited by Martin Leucker.
260			_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2008.
300			_bv.: digital
490	0		_aLecture Notes in Computer Science, _v5289 _x0302-9743
650		0	_aComputer science
650		0	_aOperating systems (Computers)
650		0	_aComputer system performance
650		0	_aSoftware engineering
650		0	_aComputer software
650		0	_aLogic design
650	1	4	_aComputer Science
650	2	4	_aSoftware Engineering
650	2	4	_aPerformance and Reliability
650	2	4	_aProgramming Languages, Compilers, Interpreters
650	2	4	_aSystem Performance and Evaluation
650	2	4	_aAlgorithm Analysis and Problem Complexity
650	2	4	_aLogics and Meanings of Programs
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-540-89247-2
942			_2lcc _cLIE
999			_c19422 _d19422