Introduction Formal Specification And Z Ben Potter
Following the sucess of the first edition, the authors have updated and revised this bestselling textbook to take into account the changes in the subject over the past 5 years.
Introduction Formal Specification And Z
Introduction Formal Specification And Z
Zusammenfassung
This book provides a complete tutorial on the Z notation. The introduction of case studies and exercises reinforces the informative and educational nature of the book.
Introduction Formal Specification And Z Zusammenfassung
Inhaltsverzeichnis
Introduction. Formal Specification within Software Engineering. An informal introduction to Logic and Set Theory. The Z Notation: Mathematical Language. The Z Notation: Relations and Functions. The Z Notation:Schemas and Specification Structure. A First Specification.Formal Reasoning. From Specification to Program. From Theory to Practice. Appendices. Bibliography. Index.
Zusätzliche Informationen
GOR002102153
9780132422079
0132422077
Introduction Formal Specification And Z Ben Potter
Gebraucht - Gut
Broschiert
Pearson Education (US)
1996-06-21
448
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.