000			02229nam a22004815i 4500
001			978-3-642-31759-0
003			DE-He213
005			20140220083322.0
007			cr nn 008mamaa
008			120718s2012 gw | s |||| 0|eng d
020			_a9783642317590 _9978-3-642-31759-0
024	7		_a10.1007/978-3-642-31759-0 _2doi
050		4	_aQA76.758
072		7	_aUMZ _2bicssc
072		7	_aCOM051230 _2bisacsh
082	0	4	_a005.1 _223
100	1		_aDonaldson, Alastair. _eeditor.
245	1	0	_aModel Checking Software _h[electronic resource] : _b19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings / _cedited by Alastair Donaldson, David Parker.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2012.
300			_aX, 261p. 85 illus. _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 ; _v7385
520			_aThis book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.
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.
700	1		_aParker, David. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783642317583
830		0	_aLecture Notes in Computer Science, _x0302-9743 ; _v7385
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-642-31759-0
912			_aZDB-2-SCS
912			_aZDB-2-LNC
999			_c103408 _d103408