Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Descubre cómo diseñar sistemas seguros con las ponencias de la Tercera Escuela Internacional SETSS 2017 en Chongqing, China; el libro ofrece 215 páginas de tutoriales sobre verificación formal y pruebas avanzadas para ingenieros que buscan garantizar la confiabilidad del software.

Compartir: