BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

The Way of Z: Practical Programming with Formal Methods

The Way of Z: Practical Programming with Formal Methods

The Way of Z: Practical Programming with Formal Methods
Stock photo: cover may vary

The Way of Z: Practical Programming with Formal Methods Paperback - 1996

by Jacky, Jonathan

Add to wish list
  • Used
  • Good
  • Paperback
Used - Good

Description

Cambridge University Press. paperback. Good. 0x0x0. Buy with confidence. Excellent Customer Service & Return policy.
Ask the seller a question Add to wish list
A$19.55
Free Delivery to USA
Standard delivery: 7 to 10 days
More delivery options
Dropship order
Ships from Ausvora INC (Connecticut, United States)

Details

  • Title The Way of Z: Practical Programming with Formal Methods
  • Author Jacky, Jonathan
  • Binding Paperback
  • Edition [ Edition: Repri
  • Condition Used - Good
  • Pages 372
  • Volumes 1
  • Language ENG
  • Publisher Cambridge University Press, Cambridge, UK
  • Publication date 1996-11-28
  • Illustrated Yes
  • Features Bibliography, Illustrated, Index, Table of Contents
  • Bookseller's Inventory # ANAIS-0521559766
  • ISBN 9780521559768 / 0521559766
  • Weight 1.35 lbs (0.61 kg)
  • Dimensions 9.16 x 7.07 x 0.7 in (23.27 x 17.96 x 1.78 cm)
  • Size 0x0x0
  • Category Computers - Languages / Programming
  • Library of Congress subjects Formal methods (Computer science), Z (Computer program language)
  • Library of Congress Catalogue Number 96013537
  • Dewey Decimal Code 005.12
  • Quantity available 1

About Ausvora INC Connecticut, United States

Biblio member since 2025

We are a U.S.-based online bookstore specializing in quality used books at affordable prices. With over 1 million books in stock, we serve readers, resellers, libraries, and institutions across the United States and internationally.

Terms of Sale:

Fast & Reliable Shipping All orders ship within 1–2 business days. Domestic shipping across the U.S. via USPS or UPS. International shipping available to most countries. 🔁 30-Day Hassle-Free Returns If the book isn't as described, we'll make it right. Enjoy a full 30-day return window with no questions asked.

Browse books from Ausvora INC

Reader reviews for The Way of Z: Practical Programming with Formal Methods

From the publisher

This self-contained tutorial on Z presents realistic case studies emphasizing safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented 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.

First line

HASH(0x111121b0)
tracking-