Decision procedures : an algorithmic point of view /

Bibliographic Details
Main Author:	Kroening, Daniel
Other Authors:	Strichman, Ofer
Format:	Book
Published:	Berlin : Springer, 2010.
Series:	Texts in theoretical computer science EATCS series
Subjects:	Lógica matemática. Lenguajes formales. Asistencia de diseños. Verificación de programas. Estructura de datos. Mathematical logic. Formal languages. Design aids. Program verification. Specifying and verifying. Reasoning about programs. Testing and debugging. Data structures.

MARC


LEADER	00000nam a22000007a 4500
001	15215443
003	AR_CdUFM
005	20160908124547.0
008	080311s2010 gw \| 00\| 0 eng
020			\|a 9783642093449
040			\|a DLC \|c DLC \|d AR_CdUFM
100	1		\|9 9341 \|a Kroening, Daniel.
245	1	0	\|a Decision procedures : \|b an algorithmic point of view / \|c Daniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant.
260			\|a Berlin : \|b Springer, \|c 2010.
300			\|a xvi, 304 p. : \|b il. ; \|c 24 cm.
490	0		\|a Texts in theoretical computer science
490	0		\|a EATCS series
541			\|a Importación de Publicaciones ; \|c Compra Programa de Bibliotecas Res. 1038/10 ; \|d 2011-08-24 ; \|e 21118 ; \|h $328 ; \|o Libro
650		4	\|a Lógica matemática.
650		4	\|a Lenguajes formales.
650		4	\|a Asistencia de diseños.
650		4	\|a Verificación de programas.
650		4	\|a Estructura de datos.
650		4	\|a Mathematical logic.
650		4	\|a Formal languages.
650		4	\|a Design aids.
650		4	\|a Program verification.
650		4	\|a Specifying and verifying.
650		4	\|a Reasoning about programs.
650		4	\|a Testing and debugging.
650		4	\|a Data structures.
700	1		\|9 16707 \|a Strichman, Ofer.
942			\|c LIBRO \|2
945			\|a MCR \|d 2011-08-24
952			\|0 0 \|1 0 \|2 CCS \|4 0 \|6 C_F41_K93 \|7 0 \|9 20558 \|a MMA \|b MMA \|c 4 \|d 2011-08-24 \|e Programa de Bibliotecas Res. 1038/10: Importación de Publicaciones \|g 0.00 \|l 3 \|o C F4.1 K93 \|p 21118 \|r 2024-09-20 16:49:36 \|s 2024-09-06 \|w 2011-08-24 \|y LIBRO
955			\|a pc17 2008-03-11
999			\|c 16151 \|d 16150