Introductory logic and formal methods

Dettagli Bibliografici
Autore principale:	Heath, David
Altri autori:	Allum, Derek, Dunckley, Lynne
Natura:	Libro
Lingua:	English
Pubblicazione:	Oxfordshire Alfred Waller Ltd. c1994.
Soggetti:	Z (Computer program language) Logic, Symbolic and mathematical.