2 871 419 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
Declarative programs consist of mathematical functions and relations and so they are amenable to formal specification and verification. This book emphasizes verification based on logic inference rules, attempting to capture the actual styles and applications of programming.