Aziz, Benjamin (Autor)
Formal Analysis by Abstract Interpretation
Case Studies in Modern Protocols
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-030-91153-9 |
|---|---|
| Seitenzahl | 113 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 4108 Kbytes |