search for books and compare prices
cover image
Mathematical Approaches to Software Quality
Price
Store
Arrives
Preparing
Shipping
The price is the lowest for any condition, which may be new or used; other conditions may also be available. Rental copies must be returned at the end of the designated period, and may involve a deposit.
Jump down to see edition details for: Hardcover | Paperback
Bibliographic Detail
Publisher Springer Verlag
Publication date November 22, 2011
Pages 244
Binding Paperback
Book category Adult Non-Fiction
ISBN-13 9781849965644
ISBN-10 1849965641
Published in Great Britain
Original list price $139.00
Summaries and Reviews
Amazon.com description: Product Description:

This book provides a comprehensive introduction to various mathematical approaches to achieving high-quality software. An introduction to mathematics that is essential for sound software engineering is provided as well as a discussion of various mathematical methods that are used both in academia and industry.

The mathematical approaches considered include:

  • Z specification language
  • Vienna Development Methods (VDM)
  • Irish school of VDM (VDM)
  • approach of Dijkstra and Hoare
  • classical engineering approach of Parnas
  • Cleanroom approach developed at IBM
  • software reliability, and
  • unified modelling language (UML).

Additionally, technology transfer of the mathematical methods to industry is considered.

The book explains the main features of these approaches and applies mathematical methods to solve practical problems. Written with both student and professional in mind, this book assists the reader in applying mathematical methods to solve practical problems that are relevant to software engineers.



Editions
Hardcover
Book cover for 9781846282423
 
from Springer-Verlag New York Inc (March 8, 2006)
9781846282423 | details & prices | 231 pages | 6.25 × 9.25 × 0.50 in. | 1.05 lbs | List price $139.00
About: This book provides a comprehensive introduction to various mathematical approaches to achieving high-quality software.
Paperback
Book cover for 9781849965644
 
The price comparison is for this edition
from Springer Verlag (November 22, 2011)
9781849965644 | details & prices | 244 pages | List price $139.00
About: This book provides a comprehensive introduction to various mathematical approaches to achieving high-quality software.

Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. isbn.nu is not a bookseller, just an information source.