The calculus of computation : decision procedures with applications to verification /

Bibliographic Details
Main Author:	Bradley, Aaron R.
Other Authors:	Manna, Zohar
Format:	Book
Language:	English
Published:	Berlin : Springer, 2007.
Subjects:	Computación por dispositivos abstractos. Lógica matemática. Verificación de programas. Computation by abstract devices. Mathematical logic. Program verification.
Online Access:	Table of contents Publisher description

MARC


LEADER	00000nam a22000007a 4500
001	14922291
003	AR_CdUFM
005	20190805130034.0
008	070710s2007 gw 000 0 eng d
020			\|a 9783540741121
040			\|a SYB \|c AR_CdUFM \|d AR_CdUFM
100	1		\|a Bradley, Aaron R. \|9 2033
245	1	2	\|a The calculus of computation : \|b decision procedures with applications to verification / \|c Aaron R. Bradley, Zohar Manna.
260			\|a Berlin : \|b Springer, \|c 2007.
300			\|a xv, 366 p. : \|b il. ; \|c 25 cm.
500			\|a With 60 figures.
504			\|a Includes bibliographical references (p.[351]-355) and index.
650		4	\|a Computación por dispositivos abstractos.
650		4	\|a Lógica matemática.
650		4	\|a Verificación de programas.
650		4	\|a Computation by abstract devices.
650		4	\|a Mathematical logic.
650		4	\|a Program verification.
700	1		\|9 10781 \|a Manna, Zohar.
856	4	1	\|3 Table of contents \|u http://www.loc.gov/catdir/toc/fy0803/2007932679.html
856	4	2	\|3 Publisher description \|u http://www.loc.gov/catdir/enhancements/fy0904/2007932679-d.html
942			\|c LIBRO
945			\|a MCR \|d 2010-06-14
952			\|0 0 \|1 0 \|2 CCS \|4 0 \|6 C_F1_B811 \|7 0 \|9 19669 \|a MMA \|b MMA \|c 4 \|d 2010-06-14 \|e D'Argenio Pedro \|g 0.00 \|l 4 \|o C F1 B811 \|p 20444 \|r 2023-01-24 \|s 2014-06-25 \|w 2010-06-14 \|y LIBRO
955			\|a jp00 2008-01-14 z-processor to ASCD/CCPT \|i jx12 2008-01-23
955			\|a pc17 2007-07-10 \|a jp00 2007-12-13
999			\|c 15430 \|d 15429