Foundations of computing system development with set theory and logic

Foundations of computing system development with set theory and logic

Show all versions (3)
Xehetasun bibliografikoak
Egile nagusia: Scheurer, Thierry
Formatua: Liburua
Hizkuntza:English
Argitaratua: Workingham Addison-Wesley 1994.
Gaiak:
System design.
Set theory.
Logic, Symbolic and mathematical.