Formal Logical Methods for System Security and Correctness
Get this book Contact Email: girro@qq.com
Formal Logical Methods for System Security and Correctness
Author: Grumberg, O.; Nipkow, T.; Pfaller, C.
Paperback: 332 pages
Publisher: IOS Press( March 27, 2008 )
ISBN-10: 1586038435
未经允许不得转载：电子书百科大全 » Formal Logical Methods for System Security and Correctness