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
Used - Very good

Description

Cambridge University Press. Used - Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Ask the seller a question Add to wish list
A$10.15
A$10.03 Delivery to USA
Standard delivery: 5 to 21 days
More delivery options
Ships from Better World Books Ltd (Fife, United Kingdom)

Details

  • Title The Way of Z : Practical Programming with Formal Methods
  • Author Jacky, Jonathan
  • Binding Paperback
  • Edition [ Edition: Repri
  • Condition Used - Very 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 # 8788803-6
  • 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)
  • 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 3

About Better World Books Ltd Fife, United Kingdom

Biblio member since 2009

Better World Books is a for-profit, socially conscious business and a global online bookseller that collects and sells new and used books online, matching each purchase with a book donation. Each sale generates funds for literacy and education initiatives in the U.S., the U.K., and around the world. Since its launch in 2003, Better World Books has raised over $35 million for libraries and literacy, donated over 38 million books, and reused or recycled more than 475 million books.

Terms of Sale: Better World Books ("BWB") values your satisfaction and offers you returns within thirty (30) days after the estimated delivery date on most items. All returned items must be in the original condition; used items should include the SKU sticker located on the spine or back of the product. If you have an incomplete, incorrect, or damaged shipment, please contact our Customer Care team via Biblio's contact seller options before proceeding with the return. Please keep in mind that because we deal mostly in used books, any extra components, such as CDs, DVDs, figurines, or access codes are not included.

Browse books from Better World Books Ltd

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-