Libros
Compositional verification of concurrent and real-time systems

Compositional verification of concurrent and real-time systems

Eric Y. T. Juan
2002
Páginas: 206
Género: Parallel processing (Electronic computers)


Añadir a mi colección

Formato