Klik op een omslag om naar Google Boeken te gaan.
Bezig met laden... Formal Specification Using Z (Grassroots)door David Lightfoot
Geen Bezig met laden...
Meld je aan bij LibraryThing om erachter te komen of je dit boek goed zult vinden. Op dit moment geen Discussie gesprekken over dit boek. Geen besprekingen geen besprekingen | voeg een bespreking toe
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. Geen bibliotheekbeschrijvingen gevonden. |
Actuele discussiesGeen
Google Books — Bezig met laden... GenresDewey Decimale Classificatie (DDC)005.133Information Computing and Information Computer programming, programs, data, security Programming Languages General Programming LanguagesLC-classificatieWaarderingGemiddelde: Geen beoordelingen.Ben jij dit?Word een LibraryThing Auteur. |