Your textbook…
Cover image for Introduction Formal Specification And Z, 2nd Edition
View larger cover

Introduction Formal Specification And Z, 2nd Edition

By Ben Potter, Jane Sinclair, David Till

ISBN-10: 0-13-242207-7

ISBN-13: 978-0-13-242207-9What's this?

Published by Prentice Hall

© 1996

Pub. Date: Jul 11, 1996

Format: Paper

Table of Contents

  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.

Textbook

List Price: $67.65

Add to Shopping Cart

Members pay only $60.89

Free FedEx Ground Shipping.