Informática práctica Enseñanza asistida por ordenador

ABSTRACTION REFINEMENT FOR LARGE SCALE MODEL CHECKING

Por CHAO WANG

Estado: NUEVO

Vendido por Accesoralia

Envío desde Madrid, España Península lo tendrás en Transporte vendedor profesional internacional
Otros vendedores (nuevo y usado) desde 157,94 €

Sinopsis

Symbolic Model Checking.- Abstraction.- Refinement.- Compositional SCC Analysis.- Disjunctive Decomposition.- Far Side Image Computation.- Refining SAT Decision Ordering.- Conclusions.

Especificaciones del producto

Reseñas sobre ABSTRACTION REFINEMENT FOR LARGE SCALE MODEL CHECKING

Comparte tu experiencia con la comunidad lectora.

0

0 Reseñas
5 0
4 0
3 0
2 0
1 0

Sólo por opinar entras en el sorteo mensual de tres tarjetas regalo valoradas en
20€