Skip to content

An Application of Automated Theorem Provers to Computer System Security
The Schematic Protection Model
by Mitchell David Irwin Hirschfeld

RRP €55.35

An Application of Automated Theorem Provers to Computer System Security
The Schematic Protection Model
by Author Name Mitchell David Irwin Hirschfeld

Book details for title
List Price:55.35
Format: Paperback / softback, 246 x 189 x 6mm, 104 pppp
Publication date: 07 Dec 2012
Publisher: Biblioscholar
ISBN-13: 9781288417209