Title
The Way of Z: Practical Programming with Formal Methods,Used
Sold by Ergodebooks, an authorized reseller.
Returns accepted within 30 days | support@ergodebooks.com
Shipping Information
- Free Standard Shipping — United States only
- Processing Time: 1–3 business days
- Estimated Delivery: 3–5 business days after dispatch
- Double-boxed, fully insured & discreetly packaged
- Tracking number sent via email once dispatched
- Orders over $250 require signature upon delivery. Taxes calculated at checkout.
Returns & Refund
Returns accepted within 30 days of delivery.
Damaged or Defective Item
Free return shipping + replacement or full refund
Wrong Item Received
Free return shipping + replacement or full refund
Change of Mind
Return shipping at customer's expense · 25% restocking fee applies
Payment Option
This selfcontained tutorial on Z presents realistic case studies emphasizing safetycritical systems, with examples drawn from embedded controls, realtime and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and objectoriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading.
⚠️ WARNING (California Proposition 65):
This product may contain chemicals known to the State of California to cause cancer, birth defects, or other reproductive harm.
For more information, please visit www.P65Warnings.ca.gov.
- Q: What is the page count of this book? A: The book contains three hundred seventy pages. It provides a comprehensive overview of programming with formal methods.
- Q: What is the binding type of 'The Way of Z'? A: This book is available in paperback binding. This makes it lightweight and easy to carry around.
- Q: What are the dimensions of this book? A: The book measures six point eight nine inches in length, zero point eight four inches in width, and nine point two five inches in height.
- Q: How do I apply formal methods as described in the book? A: You can apply formal methods by following the case studies and examples provided. The book emphasizes practical implementation in real projects.
- Q: Is this book suitable for beginners in programming? A: Yes, this book is suitable for beginners. It starts with foundational concepts and progresses to more complex applications.
- Q: Can I use this book for self-study? A: Yes, this book is ideal for self-study. It includes exercises with solutions to reinforce learning.
- Q: How do I keep this book in good condition? A: To keep the book in good condition, store it in a dry place away from direct sunlight. Avoid bending the corners of the pages.
- Q: Is the book suitable for a technical audience? A: Yes, the book is suitable for a technical audience. It discusses advanced topics relevant to safety-critical systems and programming.
- Q: Can this book be used for reference in programming projects? A: Yes, it can be used as a reference. The book provides material that is applicable to various programming domains.
- Q: What happens if the book arrives damaged? A: If the book arrives damaged, you can contact customer support for a replacement or refund. Ensure you keep the original packaging for returns.
- Q: Does this book include practical examples? A: Yes, it includes practical examples. The author has drawn examples from diverse fields like AI, databases, and game programming.
- Q: Is there a guide for further reading in the book? A: Yes, the book includes a guide for further reading. This helps readers explore additional resources on formal methods.
- Q: Are there exercises included in the book? A: Yes, there are exercises included. These exercises come with solutions to help reinforce the concepts taught.
- Q: Who is the author of 'The Way of Z'? A: The author is Jonathan Jacky. He is known for his expertise in formal methods and programming.
- Q: Is this book focused on any specific programming language? A: Yes, it includes examples in C. This helps demonstrate how to implement formal methods in real programming scenarios.