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.

Bestandsnummer des Verk�ufers D-778-576

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Z.: An Introduction to Formal Methods
Verlag: John Wiley & Sons Ltd
Erscheinungsjahr: 1990
Sprache: Englisch
ISBN-10: 047192489X
ISBN-13: 9780471924890
Einband: Softcover
Zustand: Bon

�ber diesen Titel

Inhaltsangabe

This book is about the formal specification language Z. It is based on two lecture courses given in the School of Computer Science at the University of Birmingham. Given its origins this book can be used as a textbook for courses on Z and formal methods at first and second year undergraduate level. This book is divided into seven parts. Part 1 contains a single chapter which aims to explain what Z is and why it is a good method for specifying software components. Part 2 is a tutorial introduction to Z which covers the basic mathematicl toolkit of Z and the fundamental ideas of the schema calculus and part 3 looks at methods of reasoning. Part 4 contains four specification case studies: two small ones and two fairly large ones. The two small ones are of the bill of materials problem and of a simple route planner. The two large case studies are of a display-orientated text-editor based on Sufrin's specification and of Wing's library problem. Part 5 looks at how a Z specification can be animated using a high level modern functional programming language and Prolog. Part 6 is a reference manual of all the most frequently used Z notations and Part 7 consists of two appendices as well as an annotated bibliography which contains many pointers into the ever-increasing literature on Z.

Rese�a del editor

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

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.

Zur Homepage des Verk�ufers