Comunicaciones Redes de área local

DECIDABILITY OF PARAMETERIZED VERIFICATION

Por RODERICK BLOEM

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

While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems_,

Especificaciones del producto

Reseñas sobre DECIDABILITY OF PARAMETERIZED VERIFICATION

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€