Ten authors present twelve case studies in the use of the Vienna Development Method, a formal, mathematically based approach for the specification and development of both software and hardware. Includes a chapter showing how formal methods relate to the software development process and an appendix r
ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.