000			02801nam a22005295i 4500
001			u376073
003			SIRSI
005			20160812084354.0
007			cr nn 008mamaa
008			110406s2011 gw | s |||| 0|eng d
020			_a9783642203985 _9978-3-642-20398-5
040			_cMX-MeUAM
050		4	_aQA76.758
082	0	4	_a005.1 _223
100	1		_aBobaru, Mihaela. _eeditor.
245	1	0	_aNASA Formal Methods _h[recurso electrónico] : _bThird International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings / _cedited by Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2011.
300			_aXIV, 534 p. _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 ; _v6617
520			_aThis book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 141 submissions. The topics covered by NFM 2011 included but were not limited to: theorem proving, logic model checking, automated testing and simulation, model-based engineering, real-time and stochastic systems, SAT and SMT solvers, symbolic execution, abstraction and abstraction refinement, compositional verification techniques; static and dynamic analysis techniques, fault protection, cyber security, specification formalisms, requirements analysis, and applications of formal techniques.
650		0	_aComputer science.
650		0	_aSoftware engineering.
650		0	_aOperating systems (Computers).
650		0	_aLogic design.
650	1	4	_aComputer Science.
650	2	4	_aSoftware Engineering.
650	2	4	_aProgramming Languages, Compilers, Interpreters.
650	2	4	_aOperating Systems.
650	2	4	_aLogics and Meanings of Programs.
650	2	4	_aSoftware Engineering/Programming and Operating Systems.
650	2	4	_aProgramming Techniques.
700	1		_aHavelund, Klaus. _eeditor.
700	1		_aHolzmann, Gerard J. _eeditor.
700	1		_aJoshi, Rajeev. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783642203978
830		0	_aLecture Notes in Computer Science, _x0302-9743 ; _v6617
856	4	0	_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-20398-5
596			_a19
942			_cLIBRO_ELEC
999			_c203953 _d203953