Siirry suoraan sisältöön
An Application of Automated Theorem Provers to Computer System Security
Tallenna

An Application of Automated Theorem Provers to Computer System Security

sidottu, 2025
englanti
ISBN
9781025139890
Kieli
englanti
Paino
322 grammaa
Julkaisupäivä
22.5.2025
Sivumäärä
102