000			03101nam a22004215i 4500
999			_c361655 _d361655 _x1
001			361655
003			ES-MaUEC
005			20230102121416.0
006			a||||fo|||| 00| 0
007			cr nn nnnaamaa
008			211022s2021 sz | s |||| 0|eng d
020			_a9783030805074
024	7		_a10.1007/978-3-030-80507-4 _2doi
040			_aES-MaUEC _bspa _cES-MaUEC _dES-MaUEC
050		4	_aQA76.9 .L63 _b2021 EB
100	1		_aSchreiner, Wolfgang, _9681497 _d1967-
245	1	0	_aThinking Programs _bLogical Modeling and Reasoning About Languages, Data, Computations, and Executions _cby Wolfgang Schreiner.
250			_aFirst edition 2021
264		1	_aCham _bSpringer International Publising _c2021
300			_a1 recurso en línea (XXXIII, 636 páginas) _b204 ilustraciones, 98 ilustraciones a color
336			_2rdacontent _aTexto _btxt
337			_2rdamedia _aelectrónico _bc
338			_2rdacarrier _arecurso electrónico _bcr
347			_aarchivo de texto _bPDF
490	0		_aTexts & Monographs in Symbolic Computation A Series of the Research Institute for Symbolic Computation Johannes Kepler University Linz Austria _x2197-8409
490	0		_aComputer Science (SpringerNature-11645)
490	0		_aComputer Science (R0) (SpringerNature-43710)
505	0		_aPart I The Foundations -- Syntax and Semantics -- The Language of Logic -- The Art of Reasoning -- Building Models -- Recursion -- Part II The Higher Planes -- Abstract Data Types -- Programming Languages -- Computer Programs -- Concurrent Systems -- References -- Index.
520	3		_aThis book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute from given inputs wanted outputs, and programs that describe continuously executing systems. The core message is that clear thinking about programs can be expressed in a single universal language, the formal language of logic. Apart from its universal elegance and expressiveness, this "logical" approach to the formal modeling of and reasoning about computer programs has another advantage: due to advances in computational logic (automated theorem proving, satisfiability solving, model checking), nowadays much of this process can be supported by software. This book therefore accompanies its theoretical elaborations by practical demonstrations of various systems and tools that are based on respectively make use of the presented logical underpinnings.
988			_aSpringer_Computer_2021
650		7	_2embne _9139136 _aLógica matemática
776	0	8	_iPrinted edition: _z9783030805067
776	0	8	_iPrinted edition: _z9783030805081
776	0	8	_iPrinted edition: _z9783030805098
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-030-80507-4 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942			_2lcc _cLE
998			_b02/2022 _dz _eh _zSI