Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
1
Publicado 2017
Tabla de Contenidos:
“... conformance simulation -- A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories...”
eBook
2
Publicado 2017
Tabla de Contenidos:
“... of Relational Properties by Self-Composition -- autoCode4: Structural Controller Synthesis -- Automata -- Lazy...”
eBook