Flávio L. C. de Moura – författare

Visar alla böcker från författaren Flávio L. C. de Moura. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Applied Logic for Computer Scientists

   Computational Deduction and Formal Proofs

   Av Mauricio Ayala-Rincón, Flávio L. C. de Moura

   Häftad, 2017

   512 kr

   Lägg i varukorg

   This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer …

2. 

   Applied Logic for Computer Scientists

   Computational Deduction and Formal Proofs

   Av Flavio L. C. de Moura, Mauricio Ayala-Rincon

   E-bok, 2017

   672 kr

   Lägg i varukorg

   This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer …