Proof Cambridge University Press Proof Theory and Logic Programming Hardcover

Proof Cambridge University Press Proof Theory and Logic Programming Hardcover

Tous les 1 prix et vendeurs

Choix le plus populaire – Meilleur prix !
Amazon.be Marketplace· Marketplace
€ 80,80
6 jours ou plusVerz. € 3,14
Check de website voor de levertijd | Gratis bezorgd > €20,-
Voir le produit
Voir le produit

Spécifications

Général
Poids
1 kg - 1,5 kg
EAN
9781009561297

Description du produit

This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theoretic systems as foundations for programming, providing a deeper understanding for readers interested in the theoretical underpinnings of computation and the logic programming paradigm.

Aucun avis n’a encore été écrit

Question 1 sur 4

Tu possèdes ce produit et tu aimerais donner ton avis ? Commence ci-dessous à écrire ton avis. Selon le niveau de détail, écrire un avis prend en moyenne entre 3 et 10 minutes. Avec ton opinion, tu aides les autres visiteurs à faire un meilleur choix et tu tentes chaque mois de gagner 250 € ! Clique ici pour les conditions de l’action.

Quelle note donnes-tu à ce produit ?