Formal methods : an introduction to symbolic and to the study of effective operations in arithmetic and logic /

Detalles Bibliográficos
Autor principal: Beth, Evert Willem (Autor, Autor/a)
Formato: Libro
Lenguaje:English
Publicado: Dordrecht, Holland : Reidel, c1962.
Materias:
Descripción
Descripción Física:170 páginas