TY - BOOK ID - 28365378 TI - An introduction to discrete mathematics, formal system specification, and Z. PY - 1995 SN - 0198538367 0198538375 PB - Oxford Clarendon DB - UniCat KW - Computer science KW - Discrete mathematics KW - System design KW - Design, System KW - Systems design KW - Electronic data processing KW - System analysis KW - Computer mathematics KW - Mathematics KW - Informatique KW - Systèmes, Conception de KW - Mathématiques KW - Mathematics. UR - https://www.unicat.be/uniCat?func=search&query=sysid:28365378 AB - ER -