TY - BOOK ID - 1633329 TI - The Z notation : a reference manual PY - 1989 SN - 013983768X 9780139837685 PB - Englewood Cliffs (N.J.): Prentice Hall DB - UniCat KW - Programming KW - Computer science KW - Z (Computer program language) KW - 681.3*F43 KW - Programming languages (Electronic computers) KW - Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} KW - 681.3*F43 Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} UR - https://www.unicat.be/uniCat?func=search&query=sysid:1633329 AB - ER -