Articoli correlati a The Way of Z: Practical Programming with Formal Methods
Sinossi
A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Recensione
'... this reviewer cannot imagine a book better suited to inspiring the sceptical hacker into believing that there is some genuine value in formal methods.' R. H. Banach, Axis
'... most books about Z emphasise the mathematics, ... The Way of Z breaks out of this mould to make Z relevant and accessible to all programmers. It is an ideal first or second-year book for students of computing science who want to design and write reliable programs.' Harold Thimbleby, New Scientist
'... especially good for more advanced students ... this book will be inspirational and provide practical guidance to real software engineers.' Computer Journal
Descrizione del libro
This 1997 book is a self-contained tutorial on Z for experienced programming professionals, discussing practical ways to apply formal methods in real projects and showing how to implement them in the C programming language, through case studies in safety-critical systems and other examples from computer graphics, word processing, databases, and object-oriented programming.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per The Way of Z: Practical Programming with Formal Methods
Foto dell'editore
The Way of Z: Practical Programming with Formal Methods
Editore:
Cambridge University Press, 1997
ISBN 10: 0521559766
ISBN 13: 9780521559768
Antico o usato
paperback
Da: HPB-Red, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Codice articolo S_441317586
Compra usato
EUR 6,43
Spedizione EUR 3,37
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
The Way of Z: Practical Programming with Formal Methods
Editore:
Cambridge University Press, 1997
ISBN 10: 0521559766
ISBN 13: 9780521559768
Antico o usato
Paperback
Da: AwesomeBooks, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. The Way of Z: Practical Programming with Formal Methods 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-9780521559768
Compra usato
EUR 7,86
Spedizione EUR 2,98
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
The Way of Z: Practical Programming with Formal Methods
Editore:
Cambridge University Press, 1997
ISBN 10: 0521559766
ISBN 13: 9780521559768
Antico o usato
paperback
Da: One Planet Books, Columbia, MO, U.S.A.
Valutazione del venditore 4 su 5 stelle
paperback. Condizione: Good. Illustrated. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing and/or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). Codice articolo 000496151U
Compra usato
EUR 7,39
Spedizione EUR 3,58
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
The Way of Z: Practical Programming with Formal Methods
Editore:
Cambridge University Press 13/03/1997, 1997
ISBN 10: 0521559766
ISBN 13: 9780521559768
Antico o usato
Paperback
Da: Bahamut Media, Reading, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee. Codice articolo 6545-9780521559768
Compra usato
EUR 7,79
Spedizione EUR 4,78
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
The Way of Z: Practical Programming With Formal Methods
Editore:
Cambridge University Press, 1997
ISBN 10: 0521559766
ISBN 13: 9780521559768
Antico o usato
Brossura
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. 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,700grams, ISBN:9780521559768. Codice articolo 9405634
Compra usato
EUR 3,09
Spedizione EUR 15,84
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
The Way of Z: Practical Programming with Formal Methods
Editore:
Cambridge University Press, 1997
ISBN 10: 0521559766
ISBN 13: 9780521559768
Antico o usato
paperback
Da: Textbooks_Source, Columbia, MO, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: Good. Illustrated. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). Codice articolo 000496151U
Compra usato
EUR 15,47
Spedizione EUR 3,58
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
The Way of Z: Practical Programming with Formal Methods
Editore:
Cambridge University Press, 1997
ISBN 10: 0521559766
ISBN 13: 9780521559768
Antico o usato
Brossura
Da: medimops, Berlin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. Codice articolo M00521559766-V
Compra usato
EUR 11,96
Spedizione EUR 10,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
The Way of Z: Practical Programming with Formal Methods
Editore:
Cambridge University Press, 1997
ISBN 10: 0521559766
ISBN 13: 9780521559768
Antico o usato
Softcover
Da: Bookbot, Prague, Repubblica Ceca
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: Fair. Unbekannte Unterschrift / Widmung; Aus einer Bibliothek ausgesondert/ Stempel; Leichte Gebrauchsspuren; Leichte Verformung / umgeknickte Seiten. This self-contained tutorial on Z presents realistic case studies emphasizing safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading. Codice articolo 855e8b0a-7d41-4684-9f65-d07c986905b3
Compra usato
EUR 9,17
Spedizione EUR 14,99
Spedito da Repubblica Ceca a U.S.A.
Spedito da Repubblica Ceca a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Way of Z : Practical Programming With Formal Methods
Editore:
Cambridge University Press, 1997
ISBN 10: 0521559766
ISBN 13: 9780521559768
Antico o usato
Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers. Codice articolo 699350-5
Compra usato
EUR 57,74
Spedizione EUR 2,37
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Edizione Internazionale
THE WAY OF Z PRACTICAL PROGRAMMING WITH FORMAL METHODS (PB 1997)
Edizione InternazionaleDa: UK BOOKS STORE, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability. Codice articolo CvS 9780521559768
Compra nuovo
EUR 70,18
Spedizione EUR 4,78
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 3 disponibili