Formal Specification using Z (Grassroots) - Softcover

Lightfoot, David

 
9780333763278: Formal Specification using Z (Grassroots)
Softcover
ISBN 10: 0333763270 ISBN 13: 9780333763278
Verlag: Red Globe Press, 2000

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

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

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Red Globe Press
Erscheinungsdatum
2000
Sprache
Englisch
ISBN 10 
0333763270
ISBN 13 
9780333763278
Einband
Taschenbuch
Auflage
2
Anzahl der Seiten
180
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar