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: Wokingham, England Addison-Wesley c1994.
Gaiak:
System design.
Logic, Symbolic and mathematical.
Set theory.