000			02305nam a22005775i 4500
001			978-3-642-15769-1
003			DE-He213
005			20240730195559.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. _94138
650		0	_aCompilers (Computer programs). _93350
650		0	_aComputer programming. _94169
650		0	_aComputer science. _99832
650		0	_aMachine theory. _9160739
650	1	4	_aSoftware Engineering. _94138
650	2	4	_aCompilers and Interpreters. _931853
650	2	4	_aProgramming Techniques. _9160740
650	2	4	_aComputer Science Logic and Foundations of Programming. _942203
650	2	4	_aFormal Languages and Automata Theory. _9160741
700	1		_aCousot, Radhia. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9160742
700	1		_aMartel, Matthieu. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9160743
710	2		_aSpringerLink (Online service) _9160744
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 _9160745
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			_cELN
999			_c95694 _d95694