High-Assurance Design
Subtitle: Architecting Secure and Reliable Enterprise Applications
Contributors: Peter G. Neumann (Foreword)
Publisher: Addison-Wesley Professional
Published: October 13, 2005
Language: eng
Format: Hardcover
Number of pages: 696
ISBN-13: 9780321375773
Subjects: Computer architecture & logic design; Software engineering; Computers; Computers - Languages / Programming; Computer Books: Languages; Programming - Systems Analysis & Design; Computers / Programming / Systems Analysis & Design; Computer architecture; System design