Mein Konto
Login Anmeldung
Alles
Warenkorb
Neuesten Trends
Belletristik
Sachbücher
Kinderbücher
Seltene Bücher
Musik
DVD & Blu-Ray
Kategorie
Wunschlisten
Warenkorb
Alles
Kostenloser Versand
Trustpilot
Unsere Operationen sind klimaneutral

Z. David Rann

Z. von David Rann

Z. David Rann

€4.99
Zustand - Gut
Nur noch 1
Gut

Zusammenfassung

Aimed primarily at first year students studying for degrees and HNDs in computing, this book aims to provide a thorough introduction to the specification language Z. The emphasis is on practical application of this language to the modelling, specification and implementation of systems.

Z. Zusammenfassung

Z.: A Beginner's Guide David Rann

Aimed primarily at first year students studying for degrees and HNDs in computing, second year students and others interested in more advanced aspects of the subject, this book aims to provide a thorough introduction to the specification language Z. The emphasis is on the practical application of this language to the modelling, specification and implementation of systems. Various case studies are explored and their specifications explained. The book aims to be student-friendly, with many examples and a full set of exercises and answers for each chapter.

Inhaltsverzeichnis

Part 1 Sets: Set Notation, Cardinality and Membership. Sets With Changing Membership. Visualising Sets - Venn diagrams. Union, Intersection, and Set Difference. Predicate Definition of a Set. Sets Used To Describe Types. Pattern Definition of a Set. Combining Predicate and Pattern Definitions. Exercises. Answers. Part 2 Propositions and Further Sets: Propositions. Combining Propositions. Truth Tables. Priorities of Logical Connectives. Set Equality and Subsets. Power Set. Cartesian Product. Types Extended. Two More Local Connectives - Implication and Equivalence. Some Useful Laws. Rearranging Propositions. Exercises. Answers. Part 3 SCHEMAS: Formal Specifications. The Tape Collection. Types. Axiomatic Descriptions. Schemas. The Hotel Room Problem. Exercises. Answers. Part 4 Predicates: Predicates. For All Members Of A Set - Universal Quantification. There Exists - Existential Quantification. There Exists Exacty One. Propositions and Predicates in Use. Exercises. Answers. Part 5 Relations: Relations. Relations and the Cartesian Product. More Complex Relations. The Domain and Range of Relations. Domain Restriction. Domain Anti-restriction (Subtraction). Range Restriction. Range Anti-restriction. Relational Composition. Inverse of a Relation. Exercises. Answers. Part 6 Functions: Functions. Partial and Total Functions. Injective Functions. Surjective Functions. Bijective Functions. Function Inverse. Function Overwrite. Functions in Schemas. Exercises. Answers. Part 7 Sequences: Sequence Basics. Functions on Sequences. QUEUE Case Study. Exercises. Answers. Part 8 Specifying Functions: Format. Types of Specifications. Generic Functions. Example Function Specifications. Exercises. Answers. Part 9 Modelling: Models. Paper Model. Z Model. Exercises. Answers. Part 10 Case Study: The Case. State Specification. Operations. Exercises. Answers. Part 11 Schema Operators: Inclusion. Disjunction. Conjunction. Decoration Delta. xi E. Renaming. Hiding. Exercises. Answers. Part 12 Pre-condition analysis: Need for Pre-condition Analysis. Informally Determining the Pre-conditions of a Schema. Formally Determining the Pre-conditions of a Schema. Exercises. Answers. Part 13 Implementation: Stages of Implementation. Implementing Types. Refinement. Using Abstract Data Types. Exercises. Answers. Part 14 Epilogue: Multichoice Multichoice. Answers.

Zusätzliche Informationen

GOR003531740
9780412556609
041255660X
Z.: A Beginner's Guide David Rann
David Rann
Tutorial Guides in Computing & Information Systems
Gebraucht - Gut
Broschiert
Cengage Learning EMEA
19940700
208
N/A
Die Abbildung des Buches dient nur Illustrationszwecken, die tatsächliche Bindung, das Cover und die Auflage können sich davon unterscheiden.
Dies ist ein gebrauchtes Buch. Es wurde schon einmal gelesen und weist von der früheren Nutzung Gebrauchsspuren auf. Wir gehen davon aus, dass es im Großen und Ganzen in einem guten Zustand ist. Sollten Sie jedoch nicht vollständig zufrieden sein, setzen Sie sich bitte mit uns in Verbindung.