Articles liés à Software Engineering Mathematics
Synopsis
Book by Woodcock Jim Loomes Martin
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 makes the mathematical basis of formal methods accessible both to the student and to the professional. It is motivated in the later chapters by examples and exercises. Throughout, the premise is that mathematics is as essential to design and construction in software engineering as it is to other engineering disciplines. The exercises range from simple drills, intended to provide familiarity with concepts and notation, to advanced material. The first four chapters of the book are devoted to foundations, with an introduction to formal systems, then the propositional and predicate calculi, concluding with a chapter on theories in general. The second part of the book builds upon the foundations by covering in detail the theory of sets, relations, functions, and sequences. The mathematical data types then presented are powerful enough to describe many aspects of software systems, and small case studies are included as examples of their use in the modelling of software: a configuration manager, a storage allocator, and a simple backing store interface. The concrete syntax of the Z notation has been adopted. The third part of the book presents two detailed case studies in the use of mathematics in software engineering. The first is the specification of the behaviour of a telephone exchange, and the second illustrates the importance of the development of a mathematical theory in gaining an understanding of a system. Both case studies stress the roles of modelling and of proof in the construction of specifications. The final part describes the algebraic approach to specification and then summarizes and compares the various formal techniques.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurAddison Wesley
- Date d'édition1989
- ISBN 10 0201504243
- ISBN 13 9780201504248
- ReliureRelié
- Langueanglais
- Nombre de pages271
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 57,44
EUR 39,21 expédition depuis Etats-Unis vers France
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour Software Engineering Mathematics
Image d'archives
Software Engineering Mathematics
Edité par
Addison Wesley Publishing Company, 1989
ISBN 10 : 0201504243
ISBN 13 : 9780201504248
Ancien ou d'occasion
Couverture rigide
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.23. N° de réf. du vendeur G0201504243I4N00
Quantité disponible : 1 disponible(s)
Image d'archives
Software Engineering Mathematics
Edité par
Addison Wesley Publishing Company, 1989
ISBN 10 : 0201504243
ISBN 13 : 9780201504248
Ancien ou d'occasion
Couverture rigide
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.23. N° de réf. du vendeur G0201504243I3N00
Quantité disponible : 1 disponible(s)
Image d'archives
Software Engineering Mathematics
Edité par
Pearson Higher Education & Professional Group, 1989
ISBN 10 : 0201504243
ISBN 13 : 9780201504248
Ancien ou d'occasion
Couverture rigide
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. American Ed. Used book that is in excellent condition. May show signs of wear or have minor defects. N° de réf. du vendeur 9920075-6
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Software Engineering Mathematics
Edité par
Addison-Wesley, Reading, MA, 1989
ISBN 10 : 0201504243
ISBN 13 : 9780201504248
Ancien ou d'occasion
Couverture rigide
Edition originale
Vendeur : True Oak Books, Highland, NY, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Very Good. Etat de la jaquette : Very Good. First US Edition; Printing "A". Sei Series In Software Engineering; 271 pages; minor rubbing to DJ. Minor fading to pages. Very Good condition otherwise. No other noteworthy defects. No markings. ; - Your satisfaction is our priority. We offer free returns and respond promptly to all inquiries. Your item will be carefully cushioned in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence. N° de réf. du vendeur HVD-50836-A-0
Quantité disponible : 1 disponible(s)
Image d'archives
Software Engineering Mathematics (Sei Series in Software Engineering)
Vendeur : The Book Spot, Sioux Falls, MN, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : New. N° de réf. du vendeur Abebooks16350
Quantité disponible : 1 disponible(s)
Image d'archives
Software Engineering Mathematics (Sei Series in Software Engineering)
Edité par
Addison-Wesley, 1989
ISBN 10 : 0201504243
ISBN 13 : 9780201504248
Ancien ou d'occasion
Couverture rigide
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : 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! N° de réf. du vendeur S_370835825
Quantité disponible : 1 disponible(s)
Image d'archives
Software Engineering Mathematics (Sei Series in Software Engineering)
Vendeur : BennettBooksLtd, North Las Vegas, NV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : New. In shrink wrap. Looks like an interesting title! N° de réf. du vendeur Q-0201504243
Quantité disponible : 1 disponible(s)