Software abstractions : logic, language and analysis /

Bibliographic Details
Main Author:	Jackson, Daniel, 1963-
Format:	Book
Language:	English
Published:	Cambridge, Mass. : MIT, c2006.
Subjects:	Mathematical logic. Formal languages. Computer software.

MARC


LEADER	00000nam a22000007a 4500
001	14162589
003	AR_CdUFM
005	20160502090756.0
008	051027s2006 maua b 001 0 eng
020			\|z
020			\|a 0262101159 (alk. paper) --
020			\|a 9780262101141 (alk. paper)
040			\|a DLC \|c AR_CdUFM \|d AR_CdUFM \|d BAKER \|d C#P \|d IXA \|d COO \|d NLGGC \|d DLC
100	1		\|a Jackson, Daniel, \|d 1963-
245	1	0	\|a Software abstractions : \|b logic, language and analysis / \|c Daniel Jackson.
260			\|a Cambridge, Mass. : \|b MIT, \|c c2006.
300			\|a xvi, 350 p. : \|b il. ; \|c 24 cm.
504			\|a Includes bibliographical references (p. [333]-339) and index.
541			\|a Importación de Publicaciones ; \|c Convenio FAMAF-INTEL: Donación del Dr. Pedro D'Argenio ; \|e 19538 ; \|h $187 ; \|o Libro
541			\|a Donación del Dr. Pedro D'Argenio ; \|c Fondo Proyecto PICT-26135 ; \|e 20424 ; \|h U$S32.62 ; \|o Libro
590			\|a La biblioteca posee 2 ej.
650		4	\|a Mathematical logic.
650		4	\|a Formal languages.
650		4	\|a Computer software.
942			\|c LIBRO \|2 CCS
945			\|a MCR \|d 2009-03-05
952			\|0 0 \|1 0 \|2 CCS \|4 0 \|6 C_F4_J12S \|7 0 \|9 18671 \|a MMA \|b MMA \|c 4 \|d 2009-03-05 \|e Convenio FaMAF-INTEL: Importacion de Publicaciones \|g 187.00 \|l 10 \|m 2 \|o C F4 J12s \|p 19538 \|r 2023-01-24 \|s 2016-06-03 \|w 2009-03-05 \|y LIBRO
952			\|0 0 \|1 0 \|2 CCS \|4 0 \|6 C_F4_J12S_EJ2 \|7 0 \|9 19648 \|a MMA \|b MMA \|c 4 \|d 2010-06-07 \|e D'Argenio Pedro \|g 32.62 \|l 10 \|m 3 \|o C F4 J12s ej.2 \|p 20424 \|r 2023-01-24 \|s 2016-05-19 \|w 2010-06-07 \|y LIBRO
999			\|c 14734 \|d 14733