Download or read book High-assurance Design written by Clifford J. Berg and published by Addison-Wesley Professional. This book was released on 2006 with total page 704 pages. Available in PDF, EPUB and Kindle. Book excerpt: More than ever business applications need to be reliable and secure and Berg shows architects how to focus efforts where it matters.