Formal Logical Methods for System Security and Correctness

Formal Logical Methods for System Security and Correctness

Orna Grumberg , Tobias Nipkow , Christian Pfaller
Aún sin calificaciones
Mar 15, 2008 · Inglés · Tapa dura (332 páginas)
Añadir a la estantería

Califica este libro


Exportar diario de lectura

Reseñas

No hay reseñas aún

Sé el primero en reseñar este libro y compartir tus pensamientos

Iniciar sesión para revisar
Añadir a la estantería

Califica este libro


Exportar diario de lectura