Software Development With Z: A Practical Approach to Formal Methods in Software Engineering - Couverture souple
Synopsis
This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development.
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 is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development.
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 Software Development With Z: A Practical Approach to...
Image d'archives
Software Development with Z: Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Edité par
Addison-Wesley, 1992
ISBN 10 : 0201627574
ISBN 13 : 9780201627572
Ancien ou d'occasion
Couverture souple
Vendeur : medimops, Berlin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. N° de réf. du vendeur M00201627574-G
Acheter D'occasion
EUR 5,19
Expédition à EUR 5
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Edité par
Addison-Wesley, 1992
ISBN 10 : 0201627574
ISBN 13 : 9780201627572
Ancien ou d'occasion
Paperback
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. N° de réf. du vendeur G0201627574I3N00
Acheter D'occasion
EUR 10,92
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Software Development with Z : A Practical Approach to Formal Methods in Software Engineering
Edité par
Addison-Wesley Longman, Incorporated, 1992
ISBN 10 : 0201627574
ISBN 13 : 9780201627572
Ancien ou d'occasion
Couverture souple
Vendeur : Better World Books Ltd, Dunfermline, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur 13520534-6
Acheter D'occasion
EUR 5,43
Expédition à EUR 5,77
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 3 disponible(s)
Image fournie par le vendeur
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Edité par
Addison Wesley, 1992
ISBN 10 : 0201627574
ISBN 13 : 9780201627572
Ancien ou d'occasion
Couverture souple
Vendeur : WeBuyBooks, Rossendale, LANCS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. Most items will be dispatched the same or the next working day. A copy that 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 wbs3619517852
Acheter D'occasion
EUR 3,01
Expédition à EUR 10,39
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Edité par
Addison-Wesley, 1992
ISBN 10 : 0201627574
ISBN 13 : 9780201627572
Ancien ou d'occasion
Couverture souple
Vendeur : Phatpocket Limited, Waltham Abbey, HERTS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. N° de réf. du vendeur Z1-R-030-02728
Acheter D'occasion
EUR 1,19
Expédition à EUR 12,28
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
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-0201627574
Acheter neuf
EUR 90,67
Expédition à EUR 5,95
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)