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

ABSTRACTION REFINEMENT FOR LARGE SCALE MODEL CHECKING

Por CHAO WANG

Estado: DE 2ª MANO (BUENO)

Vendido por World Wide Books

Envío desde Sevilla, España Península lo tendrás en Transporte vendedor profesional
Otros vendedores (nuevo y usado) desde 189,00 €

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€