The Way of Z

The Way of Z
Author :
Publisher : Cambridge University Press
Total Pages : 382
Release :
ISBN-10 : 0521559766
ISBN-13 : 9780521559768
Rating : 4/5 (768 Downloads)

Book Synopsis The Way of Z by : Jonathan Jacky

Download or read book The Way of Z written by Jonathan Jacky and published by Cambridge University Press. This book was released on 1997 with total page 382 pages. Available in PDF, EPUB and Kindle. Book excerpt: A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997.


The Way of Z Related Books

The Way of Z
Language: en
Pages: 382
Authors: Jonathan Jacky
Categories: Computers
Type: BOOK - Published: 1997 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997.
WAY OF Z, PRACTICAL PROGRAMMING WITH FORMAL METHODS.
Language: en
Pages: 0
Authors: JONATHAN. JACKY
Categories:
Type: BOOK - Published: 1996 - Publisher:

DOWNLOAD EBOOK

Software Development with Z
Language: en
Pages: 362
Authors: J. B. Wordsworth
Categories: Computers
Type: BOOK - Published: 1992 - Publisher: Addison Wesley Publishing Company

DOWNLOAD EBOOK

This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedure
Z
Language: en
Pages: 406
Authors: Antoni Diller
Categories: Computers
Type: BOOK - Published: 1994-07-19 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

This tutorial introduction to Z takes as its starting point the practical uses of this formal specification language. Case studies are used throughout the text
Using Z
Language: en
Pages: 412
Authors: Jim Woodcock
Categories: Computers
Type: BOOK - Published: 1996 - Publisher:

DOWNLOAD EBOOK

This book contains enough mnaterial for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the