Gå direkt till innehållet
  1. Böcker
  2. Böcker på engelska

An Application of Automated Theorem Provers to Computer System Security

21,40 €

ISBN
9781025143552
Språk
engelska
Vikt
154 gram
Utgivningsdatum
22.5.2025
Sidor
102