Cantitate/Preț
Produs
Total produse
Vezi coșul
Z de Antoni Diller

Z

Autor Antoni Diller, Diller
en Limba Engleză Paperback – 16 iun 1994
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.
Citește tot Restrânge

Preț: 89783 lei

Preț vechi: 112229 lei
-20%

Puncte Express: 1347

Carte tipărită la comandă

Livrare economică 12-26 octombrie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9780471939733
ISBN-10: 0471939730
Pagini: 396
Dimensiuni: 170 x 244 x 21 mm
Greutate: 0.68 kg
Ediția:2. Auflage
Editura: Wiley
Locul publicării:Chichester, United Kingdom

Notă biografică

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

Cuprins

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.