Applying Automated Theorem Proving to Computer Security
Häftad, Engelska, 2012
239 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- Utgivningsdatum2012-11-09
- Mått156 x 234 x 7 mm
- Vikt195 g
- FormatHäftad
- SpråkEngelska
- Antal sidor132
- FörlagBiblioBazaar, LLC
- ISBN9781288254507