An Application of Automated Theorem Provers to Computer System Security: the Schematic Protection Model - Mitchell David Irwin Hirschfeld - Books - Biblioscholar - 9781288417209 - December 7, 2012
In case cover and title do not match, the title is correct

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

Get an email once the item is available
Do you have a profile? Log in
Christmas presents can be returned until 31 January
Get notified about new Mitchell David Irwin Hirschfeld releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 7, 2012
ISBN13 9781288417209
Publishers Biblioscholar
Pages 104
Dimensions 189 × 246 × 6 mm   ·   199 g

See all of Mitchell David Irwin Hirschfeld