2 956 572 libros electrónicos en 111 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 volume provides a detailed comparison and study of the various methods for reasoning about software. The material offers a comprehensive understanding of which program structures are easier to manipulate by formal techniques.
¡Hola! Soy Libroamiko, tu asesor de libros.
¿Cómo puedo ayudarte?