000			02230nam a22003975i 4500
001			304992
003			MX-SnUAN
005			20160429155929.0
007			cr nn 008mamaa
008			150903s2012 gw | o |||| 0|eng d
020			_a9783642307294 _99783642307294
024	7		_a10.1007/9783642307294 _2doi
035			_avtls000359365
039		9	_a201509031003 _bVLOAD _c201405070245 _dVLOAD _y201402191553 _zstaff
040			_aMX-SnUAN _bspa _cMX-SnUAN _erda
050		4	_aQA76.758
100	1		_aDerrick, John. _eeditor. _9315354
245	1	0	_aIntegrated Formal Methods : _b9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings / _cedited by John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2012.
300			_axii, 360 páginas 105 ilustraciones _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 ; _v7321
500			_aSpringer eBooks
520			_aThis book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies.
590			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aGnesi, Stefania. _eeditor. _9343946
700	1		_aLatella, Diego. _eeditor. _9343947
700	1		_aTreharne, Helen. _eeditor. _9329172
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9783642307287
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-642-30729-4 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c304992 _d304992