Application of Automated Theorem Provers to Computer System Security
Häftad, Engelska, 2025
379 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.Finns i fler format (2)
Produktinformation
- Utgivningsdatum2025-05-22
- Mått156 x 234 x 5 mm
- Vikt154 g
- FormatHäftad
- SpråkEngelska
- Antal sidor102
- FörlagHutson Street Press
- ISBN9781025143552