Formal Specification and Documentation Using Z

Formal Specification and Documentation Using Z
Author :
Publisher :
Total Pages : 324
Release :
ISBN-10 : UCSC:32106013340770
ISBN-13 :
Rating : 4/5 ( Downloads)

Book Synopsis Formal Specification and Documentation Using Z by : Jonathan Peter Bowen

Download or read book Formal Specification and Documentation Using Z written by Jonathan Peter Bowen and published by . This book was released on 1996 with total page 324 pages. Available in PDF, EPUB and Kindle. Book excerpt:


Formal Specification and Documentation Using Z Related Books

Formal Specification and Documentation Using Z
Language: en
Pages: 324
Authors: Jonathan Peter Bowen
Categories: Computers
Type: BOOK - Published: 1996 - Publisher:

DOWNLOAD EBOOK

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
Formal Specification Using Z
Language: en
Pages: 184
Authors: David Lightfoot
Categories: Computers
Type: BOOK - Published: 1991 - Publisher: Palgrave

DOWNLOAD EBOOK

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.
Introducing Specification Using Z
Language: en
Pages: 328
Authors: Bryan Ratcliff
Categories: Computers
Type: BOOK - Published: 1994 - Publisher: McGraw-Hill Companies

DOWNLOAD EBOOK

Offering an introduction to formal specification using the Z notation, this practical text makes use of a series of case studies, of varying complexity, to illu