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.
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
- 1,99 €
Métodos de pago
Nadie lo ha calificado todavía.
- Título
- Verification, model checking, and abstract interpretation
- Idioma
- Inglés
- Autores
- E. Allen Emerson
- Editorial
- Springer
- Publicado en
- 2006
- Formato
- Tapa blanda
- Páginas
- 443
- ISBN10
- 3540311394
- ISBN13
- 9783540311393
- Serie
- Descripción
- 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.