Formal Specification Using Z (Heftet)

Serie: Grassroots S. 


Legg i ønskeliste

Innbinding: Heftet
Utgivelsesår: 2000
Antall sider: 176
Forlag: Palgrave Macmillan
Språk: Engelsk
Serie: Grassroots S.
ISBN/EAN: 9780333763278
Kategori: Data og Matematikk
Omtale: Formal Specification Using Z
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. This introductory work is intended for software engineers and students, and and builds 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.

Til toppen

Flere bøker av David Lightfoot: