Semantics And Verification Of Security Protocols
Edición de la obra Semantics And Verification Of Security Protocols
| Autor | Sjouke Mauw |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2013 |
| ISBN-13 | 9783540786351 |
| LCCN | 2012952288 |
| Número de Cutter | M459s |
Edición de la obra Semantics And Verification Of Security Protocols
| Autor | Sjouke Mauw |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2013 |
| ISBN-13 | 9783540786351 |
| LCCN | 2012952288 |
| Número de Cutter | M459s |