Articoli correlati a Z 2e: An Introduction to Formal Methods
Sinossi
Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull?autore
Antoni Diller is the author of Z: An Introduction to Formal Methods, 2nd Edition, published by Wiley.
Dalla quarta di copertina
Z An Introduction to Formal Methods Second Edition Antoni Diller University of Birmingham Now that formal methods are seen as a necessary and beneficial theoretical tool for systems designers and programmers, this book offers a thorough and comprehensive tutorial introduction to Z taking as its starting point the practical use of this formal specification language. Case studies are used to illustrate all aspects of Z and are introduced early on in order to motivate the mathematical notations that have to be covered. Standard notation is used throughout. Many proofs are included and they are presented using the commonest format for natural deduction proofs. With exercises given and clear descriptions and explanations provided, this book is required reading for students and post-experience software engineers learning Z. Enhancements to this edition are more exercises, information on how to relate Z specifications to actual program code, and amendments so that the book is in line with the current language standards.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 27,78
EUR 32,77 per la spedizione da U.S.A. a Italia
Destinazione, tempi e costiRisultati della ricerca per Z 2e: An Introduction to Formal Methods
Foto dell'editore
Z : An Introduction to Formal Methods
Editore:
Wiley & Sons, Incorporated, John, 1994
ISBN 10: 0471939730
ISBN 13: 9780471939733
Antico o usato
Brossura
Da: Better World Books Ltd, Dunfermline, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. 2nd. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Codice articolo GRP10843577
Quantità: 4 disponibili
Immagini fornite dal venditore
Z, an introduction to formal methods Antoni Diller.
Editore:
Chichester, Wiley, 1995
ISBN 10: 0471939730
ISBN 13: 9780471939733
Antico o usato
Softcover
Da: Antiquariat Bookfarm, Löbnitz, Germania
Valutazione del venditore 5 su 5 stelle
Softcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. C 767: (1995) 9780471939733 Sprache: Englisch Gewicht in Gramm: 550. Codice articolo 2503239
Quantità: 1 disponibili
Foto dell'editore
Z 2e: An Introduction to Formal Methods
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Fair. A readable copy of the book which may include some defects such as highlighting and notes. Cover and pages may be creased and show discolouration. Codice articolo GOR006846585
Quantità: 1 disponibili
Foto dell'editore
Z 2e: An Introduction to Formal Methods
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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. Codice articolo GOR001433927
Quantità: 1 disponibili
Foto dell'editore
Z 2e: An Introduction to Formal Methods
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Good. The book has been read but remains in clean condition. All pages are intact and the cover is intact. Some minor wear to the spine. Codice articolo GOR002411289
Quantità: 1 disponibili
Foto dell'editore
Z 2e: An Introduction to Formal Methods (Computer Science)
Da: Bahamut Media, Reading, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Codice articolo 6545-9780471939733
Quantità: 2 disponibili
Foto dell'editore
Z 2e: An Introduction to Formal Methods (Computer Science)
Da: AwesomeBooks, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Z 2e: An Introduction to Formal Methods (Computer Science) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Codice articolo 7719-9780471939733
Quantità: 2 disponibili
Foto dell'editore
Z: An Introduction to Formal Methods
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.75. Codice articolo G0471939730I3N00
Quantità: 1 disponibili
Foto dell'editore
Z : An Introduction to Formal Methods
Editore:
Wiley & Sons, Incorporated, John, 1994
ISBN 10: 0471939730
ISBN 13: 9780471939733
Antico o usato
Brossura
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. 2nd. Used book that is in clean, average condition without any missing pages. Codice articolo GRP13689726
Quantità: 1 disponibili
Foto dell'editore
Z: An Introduction to Formal Methods
Da: BooksByLisa, Highland Park, IL, U.S.A.
Valutazione del venditore 4 su 5 stelle
Soft cover. Condizione: New. Second Edition. PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; . PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book. Codice articolo 3395
Quantità: 1 disponibili