An Introduction to Formal Specification and Z

Author	: Ben Potter
Publisher	:
Total Pages	: 456
Release	: 1996
ISBN-10	: UOM:39015037783704
ISBN-13	:
Rating	: 4/5 ( Downloads)

DOWNLOAD EBOOK

Book Synopsis An Introduction to Formal Specification and Z by : Ben Potter

Download or read book An Introduction to Formal Specification and Z written by Ben Potter and published by . This book was released on 1996 with total page 456 pages. Available in PDF, EPUB and Kindle. Book excerpt: Following the sucess of the first edition, the authors have updated and revised this bestselling textbook to take into account the changes in the subject over the past 5 years.

An Introduction to Formal Specification and Z Related Books

Language: en
Pages: 456

An Introduction to Formal Specification and Z

Authors: Ben Potter

Categories: Computers

Type: BOOK - Published: 1996 - Publisher:

DOWNLOAD EBOOK

Following the sucess of the first edition, the authors have updated and revised this bestselling textbook to take into account the changes in the subject over t

Language: en
Pages: 412

Using Z

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

Language: en
Pages: 324

Formal Specification and Documentation Using Z

Authors: Jonathan Peter Bowen

Categories: Computers

Type: BOOK - Published: 1996 - Publisher:

DOWNLOAD EBOOK

Language: en
Pages: 328

Introducing Specification Using Z

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

Language: en
Pages: 155

The Object-Z Specification Language

Authors: Graeme Smith

Categories: Computers

Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism.