000			01729nam a2200385 a 4500
005			20250918124709.0
006			m d
007			cr nn 008maaau
008			101230s2010 gw s j eng d
020			_a9783642114861 _qelectronic book
039		9	_y12-30-2010 _zmuhaimin
090			_aQA75.5 _b.I61 2010
111	2		_aInternational Andrei Ershov Memorial Conference _n(7th : _d2009 : _cNovosibirsk, Russia)
245	1	0	_aPerspectives of systems informatics _h[electronic resource] : _b7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers / _cedited by Amir Pnueli, Irina Virbitskaite, Andrei Voronkov.
260			_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2010.
300			_a1online resource (xiii, 426 pages) : _billustrations, digital.
440		0	_aLecture notes in computer science, _x0302-9743 ; _v5947
650		0	_aComputer science _vCongresses.
650		0	_aComputer programming _vCongresses.
650		0	_aSystems engineering _vCongresses.
650	2	4	_aLogics and Meanings of Programs.
650	2	4	_aProgramming Languages, Compilers, Interpreters.
700	1		_aPnueli, Amir, _eeditor.
700	1		_aVoronkov, Andrei, _eeditor.
700	1		_aVirbitskaite, Irina, _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
856	4	0	_uhttps://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-642-11486-1
907			_a.b14885736 _b2023-11-28 _c2019-11-12
942			_n0 _kQA75.5 .I61 2010
914			_avtls003450254
998			_ae0001 _b2010-04-12 _cm _dz _feng _ggw _y0 _z.b14885736
999			_c475133 _d475133