Contacto
Cómo comprar
Entrega
Guía de compras
Computer Aided Verification
13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
Inglés
276 b
Política de devolución de 30 días
Clientes que también han comprado
This book constitutes the refereed proceedings of the 13th International Conference on Computer Aided Verification, CAV 2001, held in Paris, France in July 2001.§The 33 revised full papers presented were carefully reviewed and selected from 106 regular paper submissions; also included are 13 reviewed tool presentations selected from 27 submissions. The book offers topical sections on model checking and theorem proving, automata techniques, verification core technology, BDD and decision trees, abstraction and refinement, combinations, infinite state systems, temporal logics and verification, microprocessor verification and cache coherence, SAT and applications, and timed automata.
Sobre el libro
Inglés
Categorías
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatarioTambién puede interesarle
/
Tapa blanda
20.99
€
/
Tapa blanda
20.09
€
/
Tapa blanda
21.99
€
/
Tapa dura
151.39
€
/
Tapa blanda
15.59
€