000			02212nam a22005775i 4500
001			978-3-642-15769-1
003			DE-He213
005			20240423125942.0
007			cr nn 008mamaa
008			100913s2010 gw | s |||| 0|eng d
020			_a9783642157691 _9978-3-642-15769-1
024	7		_a10.1007/978-3-642-15769-1 _2doi
050		4	_aQA76.758
072		7	_aUMZ _2bicssc
072		7	_aCOM051230 _2bisacsh
072		7	_aUMZ _2thema
082	0	4	_a005.1 _223
245	1	0	_aStatic Analysis _h[electronic resource] : _b17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings / _cedited by Radhia Cousot, Matthieu Martel.
250			_a1st ed. 2010.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2010.
300			_aXI, 473 p. 131 illus. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aProgramming and Software Engineering, _x2945-9168 ; _v6337
650		0	_aSoftware engineering.
650		0	_aCompilers (Computer programs).
650		0	_aComputer programming.
650		0	_aComputer science.
650		0	_aMachine theory.
650	1	4	_aSoftware Engineering.
650	2	4	_aCompilers and Interpreters.
650	2	4	_aProgramming Techniques.
650	2	4	_aComputer Science Logic and Foundations of Programming.
650	2	4	_aFormal Languages and Automata Theory.
700	1		_aCousot, Radhia. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aMartel, Matthieu. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
773	0		_tSpringer Nature eBook
776	0	8	_iPrinted edition: _z9783642157684
776	0	8	_iPrinted edition: _z9783642157707
830		0	_aProgramming and Software Engineering, _x2945-9168 ; _v6337
856	4	0	_uhttps://doi.org/10.1007/978-3-642-15769-1
912			_aZDB-2-SCS
912			_aZDB-2-SXCS
912			_aZDB-2-LNC
942			_cSPRINGER
999			_c183441 _d183441