Normal view
MARC view
Z (Computer program language) (Topical Term)
Machine generated authority record.
Work cat.: (APU)0: Heath, David. 6181, Introductory logic and formal methods /, 1994.