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.
Altre edizioni note dello stesso titolo
Risultati della ricerca per The Way of Z: Practical Programming with Formal Methods
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
Brossura
Da: Greenworld Books, Arlington, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: acceptable. Fast Free Shipping â" A well-loved copy with text fully readable and cover pages intact. May display wear such as writing, highlighting, bends, folds or library marks. Still a complete and usable book. Codice articolo GWV.0521559766.A
Compra usato
EUR 7,34
Spedizione gratuita
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: 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 4,46
Spedizione EUR 3,24
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: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Codice articolo G0521559766I4N00
Compra usato
EUR 8,00
Spedizione gratuita
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: 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,12
Spedizione EUR 3,45
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, 1996
ISBN 10: 0521559766
ISBN 13: 9780521559768
Antico o usato
Brossura
Da: Better World Books Ltd, Dunfermline, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Codice articolo 8788803-6
Compra usato
EUR 7,60
Spedizione EUR 5,84
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 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 14,91
Spedizione EUR 3,45
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: 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,01
Spedizione EUR 15,87
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito 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 66,56
Spedizione EUR 2,28
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)
Editore:
CAMBRIDGE UNIVERSITY PRESS, 1997
ISBN 10: 0521559766
ISBN 13: 9780521559768
Antico o usato
Brossura
Da: UK BOOKS STORE, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New Books. 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 CBS 9780521559768
Compra usato
EUR 68,92
Spedizione gratuita
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 3 disponibili
Foto dell'editore
The Way of Z: Practical Programming with Formal Methods
Editore:
Cambridge University Press, 1997
ISBN 10: 0521559766
ISBN 13: 9780521559768
Nuovo
paperback
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: New. In shrink wrap. Looks like an interesting title! Codice articolo Q-0521559766
Compra nuovo
EUR 73,28
Spedizione EUR 6,01
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili