Formal Specification using Z by David Lightfoot

Formal Specification using Z by David Lightfoot

Formal specification is a technique for specifying what is required of a computer system clearly, concisely and without ambiguity. Z is a leading notation for formal specification. Formal Specification Using Z is an introductory book intended for the many software engineers and students who will benefit from learning about this important topic in software engineering. It is intended for non-mathematicians, and it introduces the ideas in a constructive style, building each new concept on the ones already covered. Each chapter is followed by a set of exercises, and sample solutions are provided for all of these in an appendix.

'[The first edition of] David Lightfoot's Formal Specification Using Z is..an ideal introduction to Z and its use.' - New Scientist

DAVID LIGHTFOOT is currently a Senior Lecturer in the School of Computing and Mathematical Sciences at Oxford Brookes University.

SKU	Nicht verfügbar
ISBN 13	9780333763278
ISBN 10	0333763270
Titel	Formal Specification using Z
Autor	David Lightfoot
Serie	Grassroots
Buchzustand	Nicht verfügbar
Bindungsart	Paperback
Verlag	Bloomsbury Publishing PLC
Erscheinungsjahr	2000-12-06
Seitenanzahl	176
Hinweis auf dem Einband	Die Abbildung des Buches dient nur Illustrationszwecken, die tatsächliche Bindung, das Cover und die Auflage können sich davon unterscheiden.
Hinweis	Nicht verfügbar