Formal Specification and Documentation Using Z: A Case Study Approach [Paperback]

Jonathan Bowen (Author)

Available from these sellers.

Product Details

Paperback: 302 pages
Publisher: Intl Thomson Computer Pr (Sd) (February 1996)
Language: English
ISBN-10: 1850322309
ISBN-13: 978-1850322306
Product Dimensions: 9.5 x 6.2 x 0.8 inches
Shipping Weight: 13.6 ounces
Amazon Best Sellers Rank: #6,830,555 in Books (See Top 100 in Books)

Would you like to update product info or give feedback on images?

Customer Reviews

There are no customer reviews yet.

Create your own review

Video reviews

Amazon now allows customers to upload product video reviews. Use a webcam or video camera to record and upload reviews to Amazon.

Tag this product

(What's this?)

Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items.

Sell a Digital Version of This Book in the Kindle Store

If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store. Learn more

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jqOnDisplayBlock { display: none; } .jqOnDisplayInline { display: none; } .jqOnVisibility { visibility: hidden; } .jqOnDisplayNoneBlock { display: block; } .jqOnDisplayNoneInline { display: inline; }

Customer Discussions

This product's forum

Discussion	Replies	Latest Post
No discussions yet

Ask questions, Share opinions, Gain insight

Start a new discussion

Topic:

First post:

Receive e-mail when new posts are made

Prompts for sign-in

Guidelines

Active discussions in related forums

Discussion	Replies	Latest Post
Textbook Buyback forum Name on book	0	1 hour ago
Textbook Buyback forum Ebooks	6	3 hours ago
Textbook Buyback forum Returned book in bad condition/Sent as new	2	8 hours ago
Textbook Buyback forum Books containing highlights	7	2 days ago
Textbook Buyback forum Is it OK if I used it to nudge several people towards Death Valley with it?	2443	2 days ago
Textbook Buyback forum Book's condition	13	3 days ago
Textbook Buyback forum Pre-paid shipping label help	4	3 days ago
Textbook Buyback forum textbook trade in	4	5 days ago