Predicate calculus and program semantics /

Bibliographic Details
Main Author:	Dijkstra, Edsger Wybe, 1930-2002
Other Authors:	Scholten, Carel S.
Format:	Book
Language:	English
Published:	New York : Springer, 1990.
Series:	Texts and monographs in computer science
Subjects:	Lógica y significado de programas. Logics and meanings of programs.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20160908122851.0
008	111129s1990 nyu\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 0387969578
040			\|a AR_CdUFM \|c AR_CdUFM
100	1		\|9 4214 \|a Dijkstra, Edsger Wybe, \|d 1930-2002.
245	1	0	\|a Predicate calculus and program semantics / \|c Edsger Wybe Dijkstra, Carel S. Scholten.
260			\|a New York : \|b Springer, \|c 1990.
300			\|a x, 220 p. : \|b il. ; \|c 25 cm.
490	0		\|a Texts and monographs in computer science
500			\|a La biblioteca posee 2 ej.
650		4	\|a Lógica y significado de programas.
650		4	\|a Logics and meanings of programs.
700	1		\|9 15455 \|a Scholten, Carel S.
942			\|c LIBRO \|2
945			\|a MCR \|d 2011-11-29
952			\|0 0 \|1 0 \|2 CCS \|4 0 \|6 C_F3_D575 \|7 0 \|9 7856 \|a MMA \|b MMA \|c 4 \|d 2008-06-09 \|e Asoc. Coop. FAMAF \|l 5 \|o C F3 D575 \|p 14934 \|r 2023-01-24 00:00:00 \|s 2014-05-21 \|w 2008-06-09 \|y LIBRO
952			\|0 0 \|1 0 \|2 CCS \|4 0 \|6 C_F3_D575_EJ2 \|7 0 \|9 7857 \|a MMA \|b MMA \|c 4 \|d 2008-06-09 \|e Asoc. Coop. FAMAF \|l 14 \|m 2 \|o C F3 D575 ej.2 \|p 14621 \|r 2023-01-24 00:00:00 \|s 2019-05-22 \|w 2008-06-09 \|y LIBRO
999			\|c 5972 \|d 5972