Handbook of logic and proof techniques for computer science

Detalles Bibliográficos
Autor principal:	Krantz, Steven G. 1951- (-)
Formato:	Libro
Idioma:	Inglés
Publicado:	Boston : New York : Birkhauser ; Springer 2002
Materias:	Ordenadores Proceso de datos
Ver en Universidad de Navarra:	https://unika.unav.edu/discovery/fulldisplay?docid=alma991004418669708016&context=L&vid=34UNAV_INST:VU1&search_scope=34UNAV_TODO&tab=34UNAV_TODO&lang=es

Descripción
Descripción Física:	xix, 245 p. ; 24 cm
Bibliografía:	Includes bibliographical references (p. 231-236) and index
ISBN:	9780817642204 9783764342203

Ejemplares similares