Não gostou? Não há problema! Pode devolver no prazo de 30 dias
Não há como errar com um vale de oferta. O presenteado pode escolher qualquer produto da nossa oferta.
Política de devolução de 30 dias
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.
Olá! Sou o Libroamiko, o seu conselheiro de livros.
Como posso ajudar?