Foundations of computing system development with set theory and logic

Foundations of computing system development with set theory and logic

Visa alla versioner (3)
Bibliografiska uppgifter
Huvudupphovsman: Scheurer, Thierry
Materialtyp: Bok
Språk:English
Publicerad: Wokingham, England Addison-Wesley c1994.
Ämnen:
System design.
Logic, Symbolic and mathematical.
Set theory.