Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs - Undergraduate Topics in Computer Science - Mauricio Ayala-Rincon - Livres - Springer International Publishing AG - 9783319516516 - 13 février 2017
Si la couverture et le titre ne correspondent pas, le titre est correct.

Mauricio Ayala-Rincon
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs - Undergraduate Topics in Computer Science 1st ed. 2017 edition

Prix
€ 44,99

Commandé depuis un entrepôt distant

Livraison prévue 13 - 21 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems.

150 pages, 4 black & white illustrations, biography

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 13 février 2017
ISBN13 9783319516516
Éditeurs Springer International Publishing AG
Pages 150
Dimensions 155 × 235 × 9 mm   ·   244 g
Langue et grammaire Allemand  

Voir tous les Mauricio Ayala-Rincon ( par ex. Paperback Book )