by Gerard O ' Regan (Author)
Presents a comprehensive introduction to various mathematical approaches to achieving high-quality software. This book considers such mathematical approaches as: Z specification language; Vienna Development Methods (VDM); Cleanroom approach developed at IBM software reliability; and, unified modelling language (UML).
Format: Hardcover
Pages: 232
Edition: 1st Edition.
Publisher: Springer
Published: 28 Mar 2006
ISBN 10: 184628242X
ISBN 13: 9781846282423
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
