Foundations of computing system development with set theory and logic

Bibliografiska uppgifter
Huvudupphovsman:	Scheurer, Thierry
Materialtyp:	Bok
Språk:	engelska
Publicerad:	Workingham Addison-Wesley 1994.
Ämnen:	System design. Set theory. Logic, Symbolic and mathematical.