2 870 785 libros electrónicos en 110 idiomas
¿No le conviene? No hay problema. Puede devolverlo en un plazo de 30 días
No se equivocará con un vale de regalo. El destinatario puede elegir cualquier producto de nuestra oferta.
Política de devolución de 30 días
This tuturial offers selected papers from the LASER summer Schools 2007 and 2008, covering verification of fine-grain concurrency and transactions, the SCOOP model, the Spec programming and verification system, multi-core chip design and much more.