An Introduction to Formal Specification and Z

Potter, Ben; Till, David; Sinclair, Jane

ISBN 10: 0132422077 / ISBN 13: 9780132422079

Editore: Prentice Hall Europe, Harlow, 1996

Riguardo questo articolo

xiv + 434 pages, appendices, bibliography, list of symbols, index, (Prentice Hall International Series in Computer Science).

Codice articolo 138529

Dati bibliografici

• Titolo: An Introduction to Formal Specification and Z
• Editore: Prentice Hall Europe, Harlow
• Data di pubblicazione: 1996
• Lingua: Inglese
• ISBN 10: 0132422077
• ISBN 13: 9780132422079
• Rilegatura: Paperback
• Edizione: 2nd Edition.
• Condizione: Very Good
• Cataloghi dei venditori:
  • Computers/Information Technology

Descrizione articolo

Riassunto

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.

Product Description

Book by Potter Ben Sinclair Jane Till David