An Application of Automated Theorem Provers to Computer System Security: the Schematic Protection Model - Mitchell David Irwin Hirschfeld - Grāmatas - Biblioscholar - 9781288417209 - 2012. gada 7. decembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

An Application of Automated Theorem Provers to Computer System Security: the Schematic Protection Model


Saņemt e-pastu, kad prece būs pieejama
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem Mitchell David Irwin Hirschfeld izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2012. gada 7. decembris
ISBN13 9781288417209
Izdevēji Biblioscholar
Lapas 104
Izmēri 189 × 246 × 6 mm   ·   199 g