000 | 02849nam a22004095i 4500 | ||
---|---|---|---|
001 | 300349 | ||
003 | MX-SnUAN | ||
005 | 20160429155625.0 | ||
007 | cr nn 008mamaa | ||
008 | 150903s2009 gw | o |||| 0|eng d | ||
020 |
_a9783642031533 _99783642031533 |
||
024 | 7 |
_a10.1007/9783642031533 _2doi |
|
035 | _avtls000353545 | ||
039 | 9 |
_a201509030510 _bVLOAD _c201405060322 _dVLOAD _y201402180955 _zstaff |
|
040 |
_aMX-SnUAN _bspa _cMX-SnUAN _erda |
||
050 | 4 | _aQA76.758 | |
100 | 1 |
_aBove, Ana. _eeditor. _9337693 |
|
245 | 1 | 0 |
_aLanguage Engineering and Rigorous Software Development : _bInternational LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures / _cedited by Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto. |
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 ; _v5520 |
|
500 | _aSpringer eBooks | ||
505 | 0 | _ato Type Theory -- Dependent Types at Work -- A Tutorial on Type-Based Termination -- Structural Abstract Interpretation: A Formal Study Using Coq -- Extended Static Checking by Calculation Using the Pointfree Transform -- Combinator Parsing: A Short Tutorial. | |
520 | _aThis book constitutes the thoroughly refereed revised tutorial lectures of the International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development, held in Piriapolis, Uruguay, in February/March 2008. The volume presents three courses on type theory: an introductory tutorial, a course on type-based termination, and a practical introduction to dependent types. A case study of a static analyzer based on abstract interpretation, a tutorial on combinator parsing, and a study of extended static checking using a point-free transform completes the volume. Together these contributions will be an invaluable tool for graduate students and researchers looking forward to keeping up to date with the latest developments in rigorous approaches to software development. | ||
590 | _aPara consulta fuera de la UANL se requiere clave de acceso remoto. | ||
700 | 1 |
_aBarbosa, Luís Soares. _eeditor. _9337694 |
|
700 | 1 |
_aPardo, Alberto. _eeditor. _9337695 |
|
700 | 1 |
_aPinto, Jorge Sousa. _eeditor. _9306130 |
|
710 | 2 |
_aSpringerLink (Servicio en línea) _9299170 |
|
776 | 0 | 8 |
_iEdición impresa: _z9783642031526 |
856 | 4 | 0 |
_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-642-03153-3 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) |
942 | _c14 | ||
999 |
_c300349 _d300349 |