Synopsis
This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three major specification languages (Larch, VDM, and Z), the book discusses specification in general, the abstraction process, the mathematical tools required, and the main formal methods.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
Revised and updated, Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification. The text covers a wide range of formal specification techniques.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour SPECIFICATION OF SOFTWARE SYSTEMS
Image fournie par le vendeur
Specification of Software Systems (Texts in Computer Science)
Edité par
Springer, 1998
ISBN 10 : 0387984305
ISBN 13 : 9780387984308
Ancien ou d'occasion
Couverture rigide
Vendeur : Jonathan Grobe Books, Deep River, IA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Very Good. Etat de la jaquette : No Dust Jacket. Exlibrary with usual library markings. ; 422 pages. N° de réf. du vendeur 281298
Acheter D'occasion
EUR 16,13
Frais de port :
EUR 4,35
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Specification of Software Systems
Edité par
Springer, 1998
ISBN 10 : 0387984305
ISBN 13 : 9780387984308
Ancien ou d'occasion
Couverture rigide
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. N° de réf. du vendeur 39896175-75
Acheter D'occasion
EUR 20,52
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Specification of Software Systems
Edité par
Springer, 1998
ISBN 10 : 0387984305
ISBN 13 : 9780387984308
Ancien ou d'occasion
Couverture rigide
Vendeur : Better World Books: West, Reno, NV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. N° de réf. du vendeur 39896175-75
Acheter D'occasion
EUR 20,52
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Specification of Software Systems (Texts in Computer Science)
Edité par
Springer, 1998
ISBN 10 : 0387984305
ISBN 13 : 9780387984308
Ancien ou d'occasion
Couverture rigide
Vendeur : Goodwill, Brooklyn Park, MN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : good. Stains on outside cover inside the book. Cover Case has some rubbing and edgewear. Access codes, CD's, slipcovers and other accessories may not be included. N° de réf. du vendeur 2Y6ZRZ000QRK_ns
Acheter D'occasion
EUR 31,24
Frais de port :
EUR 3,47
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Specification of Software Systems
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 422 1st Edition. N° de réf. du vendeur 26467786
Acheter neuf
EUR 33,15
Frais de port :
EUR 3,47
Vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Specification of Software Systems
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 422. N° de réf. du vendeur 7380117
Acheter neuf
EUR 29,77
Frais de port :
EUR 7,38
De Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Specification of Software Systems (Texts in Computer Science)
Edité par
Springer, 1998
ISBN 10 : 0387984305
ISBN 13 : 9780387984308
Ancien ou d'occasion
Couverture rigide
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 hardback covers. Clean from markings. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1000grams, ISBN:9780387984308. N° de réf. du vendeur 8862149
Acheter D'occasion
EUR 22,72
Frais de port :
EUR 14,69
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Specification of Software Systems (Texts in Computer Science)
Edité par
Springer, 1998
ISBN 10 : 0387984305
ISBN 13 : 9780387984308
Ancien ou d'occasion
Couverture rigide
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-U-012-02213
Acheter D'occasion
EUR 25,52
Frais de port :
EUR 12,08
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Specification of Software Systems
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 422. N° de réf. du vendeur 18467776
Acheter neuf
EUR 33,03
Frais de port :
EUR 9,95
De Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Specification of Software Systems (Texts in Computer Science)
Vendeur : The Book Spot, Sioux Falls, MN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : New. N° de réf. du vendeur Abebooks5046
Acheter neuf
EUR 52,86
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 1 disponible(s)