Formal Specification Using Z (BOK)

David Lightfoot

579,00 57900
Sendes vanligvis innen 7-15 dager
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.


Språk Engelsk Engelsk Innbinding Heftet
Utgitt 2000 Forfatter David Lightfoot
ISBN 9780333763278
Antall sider 176 Dimensjoner 18,7cm x 24,5cm x 0,9cm
Vekt 348 gram Leverandør Bertram Trading Ltd
Emner og form Programming & scripting languages: general, Applied mathematics, Operating systems