000			02095nam a22003495i 4500
001			315197
003			MX-SnUAN
005			20160429160831.0
007			cr nn 008mamaa
008			160108s2010 xxk| s |||| 0|eng d
020			_a9781848829121 _9978-1-84882-912-1
035			_avtls000415934
039		9	_y201601081113 _zstaff
050		4	_aQA76.17
245	1	0	_aReflections on the work of c.a.r. Hoare / _cedited by A.W. Roscoe, Cliff B. Jones, Kenneth R. Wood.
264		1	_aLondon : _bSpringer London : _bSpringer, _c2010.
300			_axii, 430 páginas :
336			_atexto _btxt _2rdacontent
337			_acomputadora _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
347			_aarchivo de texto _bPDF _2rda
500			_aSpringer eBooks
505	0		_aInsight, Inspiration and Collaboration -- From CSP to Game Semantics -- On Mereologies in Computing Science -- Roles, Stacks, Histories: A Triple for Hoare -- Forward with Hoare -- Probabilistic Programming with Coordination -- The Operational Principle and Problem Frames -- The Role of Auxiliary Variables in the Formal Development of Concurrent Programs -- Avoid a Void: The Eradication of Null Dereferencing -- Unfolding CSP -- Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures -- The Thousand-and-One Cryptographers -- On Process-Algebraic Extensions of Metric Temporal Logic -- Fun with Type Functions -- On CSP and the Algebraic Theory of Effects -- CSP is Expressive Enough for ? -- The Tokeneer Experiments.
590			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aRoscoe, A.W, _eeditor. _9322130
700	1		_aJones, Cliff B, _eeditor. _9322131
700	1		_aWood, Kenneth R, _eeditor. _9322132
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9781848829114
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-1-84882-912-1 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c315197 _d315197