2 913 255 libros electrónicos en 110 idiomas
¿No le conviene? No hay problema. Puedes devolver los artículos hasta 30 días
No se equivocará con un vale de regalo. El destinatario puede elegir cualquier producto de nuestra oferta.
Hasta 30 días para devoluciones
This book summarizes the results of research on engineering methods for dependable systems through the deployment of formal methods in software development in applications such as automotive, space, railway and business systems, and microprocessor design.
¡Hola! Soy Libroamiko, tu asesor de libros.
¿Cómo puedo ayudarte?