Foundations of computing system development with set theory and logic

Detalhes bibliográficos
Autor principal:	Scheurer, Thierry
Formato:	Livro
Idioma:	English
Publicado em:	Wokingham, England Addison-Wesley c1994.
Assuntos:	System design. Logic, Symbolic and mathematical. Set theory.