Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 /

Bibliographic Details
Corporate Author:	CAV (Conference) Center for discrete mathematics and theoretical computer science)
Other Authors:	Clarke, E. M., 1945- (ed.), Kurshan, R. P., 1943- (ed.)
Format:	Conference Proceeding Book
Language:	English
Published:	Providence : American Mathematical Society, 1991.
Series:	DIMACS series in discrete mathematics and theoretical computer science, v. 3 DIMACS ;
Subjects:	Programas-Verificación. Programs-Verification. Modelos de computación. Models of computation. Hardware-Reliability, testing and fault tolerance.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20190820185804.0
008	110516s1991 riu\|\|\|\|\| \|\|\|\| 00\| 0 eng d
952			\|0 0 \|1 0 \|2 \|4 0 \|6 AMS_000000000000000_DIMACS_V__ \|7 0 \|9 10494 \|a MMA \|b MMA \|c 91 \|d 2008-06-09 \|e FOMEC99 \|l 0 \|o AMS DIMACS v. 3 \|p 15007 \|r 2008-06-09 00:00:00 \|w 2008-06-09 \|y LIBRO \|z Ver Colección AMS. DIMACS series in discrete mathematics and theoretical computer science.
999			\|c 8221 \|d 8221
020			\|a 0821865943
040			\|a AR_CdUFM \|c AR_CdUFM
111	2		\|a CAV (Conference) \|n (2nd : \|d 1990 : \|c Center for discrete mathematics and theoretical computer science) \|9 19619
245	1	0	\|a Computer-aided verification '90 : \|b proceedings of a DIMACS workshop, June 18-21, 1990 / \|c edited by E. M. Clarke, R. P. Kurshan.
260			\|a Providence : \|b American Mathematical Society, \|c 1991.
300			\|a xii, 628 p. : \|b il. ; \|c 27 cm.
490	0		\|a DIMACS series in discrete mathematics and theoretical computer science, \|x 1052-1798 ; \|v v. 3
490	0		\|a DIMACS ; \|x v. 3
500			\|a DIMACS Workshop on Computer Aided Verification
590			\|a Ver Colección AMS. DIMACS series in discrete mathematics and theoretical computer science.
650		4	\|a Programas-Verificación.
650		4	\|a Programs-Verification.
650		4	\|a Modelos de computación.
650		4	\|a Models of computation.
650		4	\|a Hardware-Reliability, testing and fault tolerance.
700	1		\|9 3232 \|a Clarke, E. M., \|d 1945-, \|e ed.
700	1		\|9 9447 \|a Kurshan, R. P., \|d 1943-, \|e ed.
942			\|c LIBRO \|2
945			\|a MCR \|d 2012-04-10