It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience.

Seller Inventory # 0132422077-11-18

Contact seller

Report this item

Bibliographic Details

Title: Introduction to Formal Specification and Z
Publisher: Prentice Hall (edition Subsequent)
Publication Date: 1996
Language: English
ISBN 10: 0132422077
ISBN 13: 9780132422079
Binding: Paperback
Edition: Subsequent.
Condition: Good

About this title

Synopsis

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.

From the Back Cover

Introduces developers to Z notation, a formal specification methodology that can dramatically improve the way software systems are modeled and implemented.Covers the role of formal specification in software engineering, and presents an informal introduction to logic and set theory. Introduces the Z notation as a mathematical language. Presents Z notation relations, functions, schemas and specifications structure. Presents a completed specification in Z notation, and shows how that specification can be transformed into a working program.Software engineers and students of advanced software engineering.

"About this title" may belong to another edition of this title.

Store Description

BooksRun helps to save money on textbooks. We are committed to providing each customer with the highest standard of customer service. Please pay close attention to the description of the book and its condition you are ordering. If you have any questions or issues, please make sure to contact us first so we could resolve them. All orders are shipped on the same or the next business day. It usually takes 1 to 5 business days to receive your item if you choose expedited shipping. All orders submitted are eligible for a return within 30 days after the delivery. Thanks for shopping with us!

Visit Seller's Storefront

Seller's business information

AZ Texts LLC
228 Park Ave S Suite 38827, New York, NY, 10003, U.S.A.

Sale & Shipping Terms

Terms of Sale

30 days hassle-free returns guaranteed!

Shipping Terms

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	3 to 8 business days	3 to 6 business days
First item	US$ 0.00	US$ 3.99

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.