Introductory logic and formal methods

Bibliografiset tiedot
Päätekijä:	Heath, David
Muut tekijät:	Allum, Derek, Dunckley, Lynne
Aineistotyyppi:	Kirja
Kieli:	englanti
Julkaistu:	Oxfordshire Alfred Waller Ltd. c1994.
Aiheet:	Z (Computer program language) Logic, Symbolic and mathematical.