Articles liés à Using Z: Specification, Refinement, and Proof (Prentice-Hall...
Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science) - Couverture souple
Synopsis
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 use of the Znotation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code; this is demonstrated in a selection of case studies. The essentials of specification, refinement and proof are covered, revealing techniques never previously published. Exercises, Solutions and set of Tranparencies are available via http://www.comlab.ox.ac.uk/usingz.html
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
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 use of the Znotation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code; this is demonstrated in a selection of case studies. The essentials of specification, refinement and proof are covered, revealing techniques never previously published.
Exercises, Solutions and set of Tranparencies are available via http://www.comlab.ox.ac.uk/usingz.html
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Using Z: Specification, Refinement, and Proof (Prentice-Hall...
Image fournie par le vendeur
Using Z : Specification, Refinement, and Proof
Edité par
Prentice Hall, 1996
ISBN 10 : 0139484728
ISBN 13 : 9780139484728
Ancien ou d'occasion
paperback
Vendeur : WeBuyBooks, Rossendale, LANCS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Ex library copy with usual stamps & stickers. N° de réf. du vendeur rev8908377067
Acheter D'occasion
EUR 3,41
Expédition à EUR 8,73
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Using Z: Specification, Refinement, and Proof (Prentice-hall International Series in Computer Science)
Edité par
Prentice Hall, 1996
ISBN 10 : 0139484728
ISBN 13 : 9780139484728
Ancien ou d'occasion
Paperback
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. N° de réf. du vendeur G0139484728I5N00
Acheter D'occasion
EUR 15,99
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Using Z : Specification, Proof and Refinement
Edité par
Prentice Hall PTR, 1996
ISBN 10 : 0139484728
ISBN 13 : 9780139484728
Ancien ou d'occasion
Couverture souple
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. N° de réf. du vendeur GRP11305489
Acheter D'occasion
EUR 17,62
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Using Z: Specification, Refinement, and Proof (Prentice-hall International Series in Computer Science)
Edité par
Prentice Hall, 1996
ISBN 10 : 0139484728
ISBN 13 : 9780139484728
Ancien ou d'occasion
Paperback
Vendeur : WorldofBooks, Goring-By-Sea, WS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. N° de réf. du vendeur GOR001480091
Acheter D'occasion
EUR 11,33
Expédition à EUR 6,71
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 3 disponible(s)
Image d'archives
Using Z: Specification, Refinement, and Proof
Edité par
Prentice Hall, 1996
ISBN 10 : 0139484728
ISBN 13 : 9780139484728
Ancien ou d'occasion
Couverture souple
Vendeur : Anybook.com, Lincoln, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. Clean from markings. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,850grams, ISBN:9780139484728. N° de réf. du vendeur 8968830
Acheter D'occasion
EUR 4,83
Expédition à EUR 15,84
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Using Z : Specification, Refinement, and Proof
Edité par
Prentice Hall, 1996
ISBN 10 : 0139484728
ISBN 13 : 9780139484728
Ancien ou d'occasion
Couverture souple
Vendeur : Anybook.com, Lincoln, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. Clean from markings. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,850grams, ISBN:9780139484728. N° de réf. du vendeur 9830366
Acheter D'occasion
EUR 5,73
Expédition à EUR 15,84
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Using Z : Specification, Refinement, and Proof
Edité par
Prentice Hall, 1996
ISBN 10 : 0139484728
ISBN 13 : 9780139484728
Ancien ou d'occasion
Textbook Binding
Vendeur : Brit Books, Milton Keynes, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Textbook Binding. Etat : Used; Good. ***Simply Brit*** Welcome to our online used book store, where affordability meets great quality. Dive into a world of captivating reads without breaking the bank. We take pride in offering a wide selection of used books, from classics to hidden gems, ensuring there is something for every literary palate. All orders are shipped within 24 hours and our lightning fast-delivery within 48 hours coupled with our prompt customer service ensures a smooth journey from ordering to delivery. Discover the joy of reading with us, your trusted source for affordable books that do not compromise on quality. N° de réf. du vendeur mon0000391910
Acheter D'occasion
EUR 4,53
Expédition à EUR 19,16
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Prentice-Hall International Series in Computer Science: Using Z: Specification, Refinement, and Proof
Edité par
Prentice Hall, 1996
ISBN 10 : 0139484728
ISBN 13 : 9780139484728
Ancien ou d'occasion
Softcover
Vendeur : Bookbot, Prague, Rébublique tchèque
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Fair. Unbekannte Unterschrift / Widmung; Aus einer Bibliothek ausgesondert/ Stempel; Leichte Kratzer / Abnutzungen / Druckstellen; Leichte Verformung / umgeknickte Seiten. 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 use of the Znotation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code; this is demonstrated in a selection of case studies. The essentials of specification, refinement and proof are covered, revealing techniques never previously published. Exercises, Solutions and set of Tranparencies are available via. N° de réf. du vendeur 8c826f9e-382e-45de-a19b-12d9ca404c92
Acheter D'occasion
EUR 28,28
Expédition à EUR 18,99
Expédition depuis Rébublique tchèque vers Etats-Unis
Expédition depuis Rébublique tchèque vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Using Z: Specification, Refinement, and Proof (Prentice-hall International Series in Computer Science)
Vendeur : BennettBooksLtd, Los Angeles, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. In shrink wrap. Looks like an interesting title! N° de réf. du vendeur Q-0139484728
Acheter neuf
EUR 94,12
Expédition à EUR 6,21
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Using Z: Specification, Refinement, and Proof (Prentice-hall International Series in Computer Science)
Edité par
Prentice Hall, 1996
ISBN 10 : 0139484728
ISBN 13 : 9780139484728
Ancien ou d'occasion
Paperback
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : Acceptable. Acceptable. Dust Jacket NOT present. CD WILL BE MISSING. SHIPS FROM MULTIPLE LOCATIONS. book. N° de réf. du vendeur ERICA79101394847282
Acheter D'occasion
EUR 97,49
Expédition à EUR 29,95
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)