» » Formal Logical Methods for System Security and Correctness



Information of news
25-12-2013, 01:54

Formal Logical Methods for System Security and Correctness

Category: Tutorials

Formal Logical Methods for System Security and Correctness

Formal Logical Methods for System Security and Correctness
English | 332 pages | ISBN-10: 1586038435 | PDF | 1.73 MB


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 guarantees.

Buy Premium Account From My Download Links And Get Resumable Support & SUPER Fastest speed

uploaded


Rapidgator.net
Site BBcode/HTML Code:
Dear visitor, you went to the site as unregistered user.
We recommend you Sign up or Login to website under your name.
Information
Would you like to leave your comment? Please Login to your account to leave comments. Don't have an account? You can create a free account now.