Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Techniques and Tools

B. Berard , M. Bidoit , A. Finkel
Aún sin calificaciones
Dec 15, 2010 · Inglés · Tapa blanda (202 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