Skip to main content
PBS logo
 
 

Search - Formal Logical Methods for System Security and Correctness (Nato Science for Peace and Security)

Formal Logical Methods for System Security and Correctness (Nato Science for Peace and Security)
Formal Logical Methods for System Security and Correctness - Nato Science for Peace and Security
Author: Orna Grumberg
The objective of this publication is to present the state-of-the-art in the field of proof technology in connection with secure and correct software. The contributors have shown that methods of correct-by-construction program and process synthesis allow a high level programming method more amenable to security and reliability analysis and guaran...  more »
ISBN-13: 9781586038434
ISBN-10: 1586038435
Publication Date: 3/15/2008
Pages: 332
Rating:
  ?
0 stars, based on 0 rating
Publisher: IOS Press
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review



Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.