Understanding Z
Szczegóły książki
| Autor | J. M. Spivey |
|---|---|
| Wydawnictwo | Cambridge University Press |
| Rok wydania | 2008 m. |
| Język | Angielski |
| Liczba stron | 140 psl. |
| Format | Oprawa miękka |
| Gatunek | Kompiuteriai ir IT |
| ISBN | 9780521054140 |
O książce
Delve into the world of formal specification with "Understanding Z" by J. M. Spivey, published in 2008 by Cambridge University Press. This insightful paperback, spanning 140 pages, explores the Z notation—a powerful language designed for expressing mathematical specifications in computing systems. Spivey provides a comprehensive understanding of Z by establishing a formal semantics that underpins its precision as a specification language. This book not only clarifies the intricacies of Z specifications but also offers a standard framework that enhances your grasp of this essential programming language. Whether you are a student, researcher, or professional in the field of computer science, "Understanding Z" equips you with the knowledge to apply Z in your projects effectively. Grab your copy today and enhance your programming language repertoire!