The B-book : assigning programs to meanings /

Bibliographic Details
Main Author:	Abrial, Jean-Raymond, 1938-
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University, 1996.
Subjects:	Lógica y significado de programas Lenguajes de programación Logics and meanings of programs Programming languages
Online Access:	Publisher description Table of contents

MARC


LEADER	00000nam a22000007a 4500
001	1185197
003	AR_CdUFM
005	20170619164911.0
008	961108s1996 enk 001 0 eng d
952			\|0 0 \|1 0 \|2 CCS \|4 0 \|6 C_F3_A163 \|7 0 \|9 19947 \|a MMA \|b MMA \|c 4 \|d 2010-09-22 \|e Programa de Bibliotecas Res. 591/09: Importación de Publicaciones \|g 0.00 \|l 0 \|o C F3 A163 \|p 20693 \|r 2023-01-24 \|w 2010-09-22 \|y LIBRO
999			\|c 15657 \|d 15656
020			\|a 0521021758
040			\|a IDeKN \|c IDeKN \|d DLC \|d AR_CdUFM
100	1		\|9 68 \|a Abrial, Jean-Raymond, \|d 1938-
245	1	4	\|a The B-book : \|b assigning programs to meanings / \|c Jean-Raymond Abrial.
260			\|a Cambridge ; \|a New York : \|b Cambridge University, \|c 1996.
300			\|a xxxiv, 779 p. ; \|c 26 cm.
500			\|a Incluye índice.
541			\|a Importación de Publicaciones \|c Compra: Programa de Bibliotecas. Res. 591/09 \|d 2010-09-22 \|e 20693 \|h $422 \|o Libro
650		4	\|a Lógica y significado de programas
650		4	\|a Lenguajes de programación
650		4	\|a Logics and meanings of programs
650		4	\|a Programming languages
856	4	2	\|3 Publisher description \|u http://www.loc.gov/catdir/description/cam029/97107195.html
856	4	1	\|3 Table of contents \|u http://www.loc.gov/catdir/toc/cam027/97107195.html
906			\|a 7 \|b cbc \|c copycat \|d 2 \|e ncip \|f 19 \|g y-gencatlg
942			\|c LIBRO \|2
945			\|a MCR
955			\|a pb16 01-21-97 to cat.; jf00 04-11-97;jf05 to subj. 04/22/97; jf11 to sl 05-02-97; je25 05-06-97
984			\|a gsl \|d 2001-05-11