000			03134nam a22003855i 4500
001			300776
003			MX-SnUAN
005			20160429155643.0
007			cr nn 008mamaa
008			150903s2009 gw | o |||| 0|eng d
020			_a9783642049125 _99783642049125
024	7		_a10.1007/9783642049125 _2doi
035			_avtls000354037
039		9	_a201509030513 _bVLOAD _c201405060329 _dVLOAD _y201402181008 _zstaff
040			_aMX-SnUAN _bspa _cMX-SnUAN _erda
050		4	_aQA8.9-QA10.3
100	1		_aGibbons, Jeremy. _eeditor. _9332921
245	1	0	_aTeaching Formal Methods : _bSecond International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings / _cedited by Jeremy Gibbons, José Nuno Oliveira.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2009.
300			_brecurso en línea.
336			_atexto _btxt _2rdacontent
337			_acomputadora _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
347			_aarchivo de texto _bPDF _2rda
490	0		_aLecture Notes in Computer Science, _x0302-9743 ; _v5846
500			_aSpringer eBooks
505	0		_aAbstraction and Modelling: A Complementary Partnership -- Teaching Formal Methods for the Unconquered Territory -- Teaching Formal Methods Based on Rewriting Logic and Maude -- Which Mathematics for the Information Society? -- What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project -- Chief Chefs of Z to Alloy: Using a Kitchen Example to Teach Alloy with Z -- Teaching Program Specification and Verification Using JML and ESC/Java2 -- How to Explain Mistakes -- Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification -- On Teaching Formal Methods: Behavior Models and Code Analysis -- Teaching Concurrency: Theory in Practice.
520			_aThis book constitutes the refereed proceedings of the TFM 2009, held in Eindhoven, The Netherlands in November 2009. The 10 revised full papers presented together with an abstracts of invited talk were carefully reviewed and selected from 19 submissions. The papers presented explore the experiences of teaching FMs, both successful and unsuccessful, educational resources including the use of books, case studies and the internet, the education of weak and mathphobic students, the integration, or otherwise, of FMs into the curriculum, including, contributions to the definition of a Formal Methods Body of Knowledge (FMBOK), the advantages of FM-trained graduates in the workplace, changing attitudes towards FMs in students, academic staff and practitioners and the necessary mathematical background.
590			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aOliveira, José Nuno. _eeditor. _9338362
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9783642049118
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-642-04912-5 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c300776 _d300776