Logic in computer science : modelling and reasoning about systems /

Logic in computer science : modelling and reasoning about systems /

Bibliographic Details
Main Author: Huth, Michael, 1962-
Other Authors: Ryan, Mark Dermot, 1962-
Format: Book
Language:English
Published: Cambridge ; New York : Cambridge University, 2009.
Edition:2nd ed.
Subjects:
Lógica matemática.
Lenguajes formales.
Lógica y significado de programas.
Mathematical logic.
Formal languages.
Logic and meanings of programs.
Online Access:Table of contents
Publisher description

MARC

LEADER 00000nam a22000007a 4500
001 13550178
003 AR_CdUFM
005 20160908124436.0
008 040407s2009 enka | b 001 0 eng
020 |a 9780521543101 
040 |a DLC  |c DLC  |d DLC  |d AR_CdUFM 
100 1 |9 7973  |a Huth, Michael,  |d 1962- 
245 1 0 |a Logic in computer science :  |b modelling and reasoning about systems /  |c Michael Huth, Mark Ryan. 
250 |a 2nd ed. 
260 |a Cambridge ;  |a New York :  |b Cambridge University,  |c 2009. 
300 |a xiv, 427 p. :  |b il. ;  |c 25 cm. 
500 |a La biblioteca posee 2 ej. 
504 |a Incluye referencias bibliográficas (p. 414-417) e índice. 
541 |a D'Agenio Pedro;  |c Donación;  |d 2010-06-15;  |e 20448;  |h U$S64.50;  |o Libro 
541 |a Importación de Publicaciones;  |c Compra: Programa de Bibliotecas. Res. 591/09;  |d 2010-09-16;  |e 20654 ej. 2;  |h $350;  |o Libro 
650 4 |a Lógica matemática. 
650 4 |a Lenguajes formales. 
650 4 |a Lógica y significado de programas. 
650 4 |a Mathematical logic. 
650 4 |a Formal languages. 
650 4 |a Logic and meanings of programs. 
700 1 |9 14947  |a Ryan, Mark Dermot,  |d 1962- 
856 4 1 |3 Table of contents  |u http://www.loc.gov/catdir/toc/cam041/2004045921.html 
856 4 2 |3 Publisher description  |u http://www.loc.gov/catdir/description/cam041/2004045921.html 
942 |c LIBRO  |2   
945 |a MCR  |d 2010-09-16 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_F4_H979  |7 0  |9 19674  |a MMA  |b MMA  |c 4  |d 2010-06-15  |e D'Argenio Pedro  |g 0.00  |l 3  |o C F4 H979  |p 20448  |r 2024-07-24 13:12:38  |s 2024-07-05  |w 2010-06-15  |y LIBRO 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_F4_H979_EJ2  |7 0  |9 19917  |a MMA  |b MMA  |c 4  |d 2010-09-16  |e Programa de Bibliotecas Res. 591/09: Importación de Publicaciones  |g 0.00  |l 2  |o C F4 H979 ej.2  |p 20654  |r 2023-01-24 00:00:00  |s 2019-12-06  |w 2010-09-16  |y LIBRO 
955 |a pc22 2004-04-07 RUSH to ASCD  |i jf02 2004-04-08 to sl  |a aa20 2004-04-13  |a ps07 2005-04-28 1 copy rec'd., to CIP ver.  |a jf00 2005-05-06  |a jf00 2005-05-06; 
999 |c 15434  |d 15433 

Similar Items