Traces de pliures sur la couverture. Traces d'usure sur la couverture. Salissures sur la tranche. Tampon ou marque sur la face int�rieure de la couverture. Couverture diff�rente. Edition 1990. Ammareal reverse jusqu'� 15% du prix net de cet article � des ENGLISH DESCRIPTION Book Condition: Used, Good. Traces of creases on the cover. Signs of wear on the cover. Stains on the edge. Stamp or mark on the inside cover page. Different cover. Edition 1990. Ammareal gives back up to 15% of this item's net price to charity organizations.

Seller Inventory # D-778-576

Contact seller

Report this item

Bibliographic Details

Title: Z.: An Introduction to Formal Methods
Publisher: John Wiley & Sons Ltd
Publication Date: 1990
Language: English
ISBN 10: 047192489X
ISBN 13: 9780471924890
Binding: Softcover
Condition: Bon

About this title

Synopsis

Offers a thorough and comprehensive tutorial introduction to Z, taking as its starting point the practical use of this formal specification language. After briefly explaining what Z is and why it is a good method for specifying software components, covers Z's basic mathematical toolkit, the fundamental ideas of the schema calculus, and the methods of reasoning. Specific case studies illustrate all aspects of Z and the mathematical notations that must be covered. Also discusses how Z specifications can be animated using a high-level modern functional programming language and Prolog. Standard notation is used throughout, and many proofs and fully explained exercises are included. With its helpful appendices and an annotated bibliography that contains many pointers to the ever-increasing literature on Z, this work will serve as a ready reference manual of the most frequently used Z notations

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

Store Description

English below. Ammareal est une librairie professionnelle sp�cialis�e dans le livre d?occasion. Nous exp�dions partout dans le monde. Nous avons plus de 250 000 ouvrages en stock dont un grand nombre de livres techniques et acad�miques. Nous reversons jusqu?� 15% du prix de vente de chaque livre � des organisations caritatives, des biblioth�ques et des associations luttant contre l?illettrisme. Ce que nous ne vendons pas nous le donnons, ce que nous ne donnons pas nous le recyclons. Ammareal is a professional bookseller speciliazed in used books. We ship worldwide. We have more than 250 000 books in stock, including a large number of technical and university-level books. We give back up to 15% of the price of each book to charities, libraries and organizations fighting in favor of literacy. What we do not sell, we give, what we do not give we recycle.

Visit Seller's Storefront

Seller's business information

SAS AMMAREAL
4 AV ARGAO, MORANGIS, 91420, France

Sale & Shipping Terms

Terms of Sale

Shipping Terms

Shipping rates from France to U.S.A.

Shipping rates from France to U.S.A.
Order quantity	5 to 18 business days	5 to 7 business days
First item	US$ 18.77	US$ 23.32

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.