Foundations of computing system development with set theory and logic

Detalles Bibliográficos
Autor principal:	Scheurer, Thierry
Formato:	Libro
Lenguaje:	inglés
Publicado:	Workingham Addison-Wesley 1994.
Materias:	System design. Set theory. Logic, Symbolic and mathematical.