Introduction Formal Specification And Z

Ben Potter , Jane Sinclair , David Till

Editura: Prentice Hall
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.
  • Limba : Engleza
  • Cuprins :
    1. Introduction.
    2. Formal Specification within Software Engineering.
    3. An informal introduction to Logic and Set Theory.
    4. The Z Notation: Mathematical Language.
    5. The Z Notation: Relations and Functions.
    6. The Z Notation:Schemas and Specification Structure.
    7. A First Specification.Formal Reasoning.
    8. From Specification to Program.
    9. From Theory to Practice.
    10. Appendices.
    11. Bibliography.
    12. Index.
  • Data Publicarii : 1996
  • Editie : 2
  • Format : Paperback
  • Numar pagini : 448
  • ISBN : 9780132422079
Rating:
449.99 Lei
Disponibilitate : 3-5 saptamani

Acest titlu se tipareste la comanda si poate fi livrat in 3-5 saptamani.