Z Antoni Diller

Name: Z von Antoni Diller
SKU: 9780471939733
Price: 8.50 CHF
Availability: InStock

Z Antoni Diller

8.50

Zustand - Sehr Gut

Nur noch 2

Sehr Gut8.50 Gut16.00

Zusammenfassung

Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.

Z Zusammenfassung

Z: An Introduction to Formal Methods Antoni Diller

Über Antoni Diller

Antoni Diller is the author of Z: An Introduction to Formal Methods, 2nd Edition, published by Wiley.

Inhaltsverzeichnis

TUTORIAL. First-Order Logic. Set Theory. Internal Telephone Directory. More About Relations and Schemas. Functions. Sequences. Bags. Free Types. METHODS OF REASONING. Formal Proof. Rigorous Proof. Immanent Reasoning. Reification and Decomposition. Floyd-Hoare Logic. Getting to Program Code. CASE STUDIES. Two Small Case Studies. Wing's Library Problem. Partial Specification of a Text-Editor. SPECIFICATION ANIMATION. Animation Using Miranda. REFERENCE MANUAL. Methods of Definition. Formal Definitions. Rules and Obligations. Appendices. Bibliography. Index.

Zusätzliche Informationen

Sku

GOR001433927

ISBN 13

9780471939733

ISBN 10

0471939730

Titel

Z: An Introduction to Formal Methods Antoni Diller

Autor

Antoni Diller

Zustand

Gebraucht - Sehr Gut

Bindung

Broschiert

Verlag

John Wiley and Sons Ltd

Datum

1994-05-03

Anzahl der Seiten

394

Preise

N/A

Begleitschreiben

Die Abbildung des Buches dient nur Illustrationszwecken, die tatsächliche Bindung, das Cover und die Auflage können sich davon unterscheiden.

Hinweis

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 sehr guten Zustand ist. Sollten Sie jedoch nicht vollständig zufrieden sein, setzen Sie sich bitte mit uns in Verbindung.