Computer Science

This book provides a complete tutorial on the Z notation. The introduction of case studies and exercises reinforces the informative and educational nature of the book.

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.

Software Engineering -- Advanced  [PTG: PRENTICE HALL PROFESSIONAL]   (Computer Science)

Interwrite Personal Response System
EduCue, Addison-Wesley & Benjamin Cummings
©2004 | Prentice Hall | Electronic Supplement | Instock
ISBN-10: 0321267354 | ISBN-13: 9780321267351

Pearson Higher Education offers special pricing when you choose to package your text with other student resources. If you're interested in creating a cost-saving package for your students contact your Pearson Higher Education representative.