Cargando…
Formal Logical Methods for System Security and Correctness.
Offers information in the field of proof technology in connection with secure and correct software. This title shows that methods of correct-by-construction program and process synthesis allow a high level programming method more amenable to security and reliability analysis and guarantees.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam :
IOS Press,
2008.
|
| Colección: | NATO Science for Peace and Security Series: Information and Communication Security, v. 14.
|
| Temas: | |
| Acceso en línea: | Texto completo |