The calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna.

Por:

Colaborador(es):

Detalles de publicación: Berlin : Springer, 2007.Descripción: xv, 366 p. : il. ; 25 cmISBN:

Tema(s):

Recursos en línea:

Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título.

Existencias
Tipo de ítem	Biblioteca actual	Signatura topográfica	Estado	Fecha de vencimiento	Código de barras	Reserva de ítems	Reservas para cursos
Libro	FaMAF Sección Computación	C F1 B811	Disponible		20444		Ingeniería del Software II

Total de reservas: 0

With 60 figures.

Includes bibliographical references (p.[351]-355) and index.