Introductory logic and formal methods

Bibliographische Detailangaben
1. Verfasser:	Heath, David
Weitere Verfasser:	Allum, Derek, Dunckley, Lynne
Format:	Buch
Sprache:	English
Veröffentlicht:	Oxfordshire Alfred Waller Ltd. c1994.
Schlagworte:	Z (Computer program language) Logic, Symbolic and mathematical.