Este es el que agregas al carrito
Más información sobre el libro
The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. The papers feature current research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods.
Actualmente hay del libro Verification, model checking, and abstract interpretation (2006) en stock.
Compra de libros
Verification, model checking, and abstract interpretation, E. Allen Emerson
- Idioma
- Publicado en
- 2006
- product-detail.submit-box.info.binding
- (Tapa blanda),
- Estado del libro
- Bueno
- Precio
- 28,49 €
Métodos de pago
Nadie lo ha calificado todavía.