Formal Methods for Software Engineering: Languages, Methods, Application Domains

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Markus Roggenbach , Antonio Cerone , Bernd-Holger Schlingloff
Aún sin calificaciones
Jun 23, 2022 · Inglés · Tapa dura (552 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