000			02189nam a22003495i 4500
001			317756
003			MX-SnUAN
005			20160429161040.0
007			cr nn 008mamaa
008			160111s2014 gw | s |||| 0|eng d
020			_a9783319124667 _9978-3-319-12466-7
035			_avtls000419145
039		9	_y201601110911 _zstaff
050		4	_aQA76.9.E94
245	1	0	_aFoundational and practical aspects of resource analysis : _bthird international workshop, fopara 2013, bertinoro, italy, august 29-31, 2013, revised selected papers / _cedited by Ugo Dal Lago, Ricardo Peña.
264		1	_aCham : _bSpringer International Publishing : _bSpringer, _c2014.
300			_aix, 161 páginas : _b34 ilustraciones
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 ; _v8552
500			_aSpringer eBooks
505	0		_aCertified Complexity (CerCo) -- On the Modular Integration of Abstract Semantics for WCET Analysis -- Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion? -- Probabilistic Analysis of Programs: A Weak Limit Approach -- Predicative Lexicographic Path Orders: An Application of Term Rewriting to the Region of Primitive Recursive Functions -- A Hoare Logic for Energy Consumption Analysis -- Reasoning About Resources in the Embedded Systems Language Hume -- On Paths-Based Criteria for Polynomial Time Complexity in Proof-Nets -- Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists.
590			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aDal Lago, Ugo, _eeditor. _9361409
700	1		_aPeña, Ricardo, _eeditor. _9328260
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9783319124650
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-319-12466-7 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c317756 _d317756