000			02278nam a22004935i 4500
001			978-3-642-22306-8
003			DE-He213
005			20140220083808.0
007			cr nn 008mamaa
008			110707s2011 gw | s |||| 0|eng d
020			_a9783642223068 _9978-3-642-22306-8
024	7		_a10.1007/978-3-642-22306-8 _2doi
050		4	_aQA76.758
072		7	_aUMZ _2bicssc
072		7	_aCOM051230 _2bisacsh
082	0	4	_a005.1 _223
100	1		_aGroce, Alex. _eeditor.
245	1	0	_aModel Checking Software _h[electronic resource] : _b18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings / _cedited by Alex Groce, Madanlal Musuvathi.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2011.
300			_aX, 195p. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aLecture Notes in Computer Science, _x0302-9743 ; _v6823
520			_aThis book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions; search strategies; PROMELA encodings and extensions; and applications of model checking.
650		0	_aComputer science.
650		0	_aSoftware engineering.
650		0	_aLogic design.
650	1	4	_aComputer Science.
650	2	4	_aSoftware Engineering.
650	2	4	_aProgramming Languages, Compilers, Interpreters.
650	2	4	_aLogics and Meanings of Programs.
650	2	4	_aMathematical Logic and Formal Languages.
700	1		_aMusuvathi, Madanlal. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783642223051
830		0	_aLecture Notes in Computer Science, _x0302-9743 ; _v6823
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-642-22306-8
912			_aZDB-2-SCS
912			_aZDB-2-LNC
999			_c108170 _d108170