Computers & the Internet, Programming

The Way of Z: Practical Programming with Formal Methods

Name: The Way of Z: Practical Programming with Formal Methods
Author: Jonathan Jacky
ISBN: 9780521559768

by Jonathan Jacky

Available on Bookshop Write a review

Books.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.

Synopsis

A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects.

Reviews

There are no reviews yet. Log in to write one.

Book Details

Published

November 1, 1996

Publisher

Cambridge University Press

Format

Paperback

ISBN

9780521559768

More by Jonathan Jacky

Model-Based Software Testing and Analysis with C#: A Model-based Approach using SpecExplorer

Model-Based Software Testing and Analysis with C

Similar books

Open Source: Technology and Policy

Advances in Computers, Vol. 65

Introduction to Algorithms

Bpmn Method and Style, 2nd Edition, with Bpmn Implementer's Guide: A Structured Approach for Business Process Modeling and Implementation Using Bpmn 2

The Bug

Extreme NXT: Extending the LEGO MINDSTORMS NXT to the Next Level

Lighting Controls Handbook

The Art of Public Speaking

The Art of Public Speaking (Text, Student CD-ROM Guidebook v.4.0, and Audio Abridgement CD Set)

Behind Closed Doors: Secrets of Great Management