Solving Higher-order Equations: from Logic to Programming - Progress in Theoretical Computer Science - Christian Prehofer - Livres - Birkhauser Boston Inc - 9780817640323 - 18 décembre 1997
Si la couverture et le titre ne correspondent pas, le titre est correct.

Christian Prehofer
Solving Higher-order Equations: from Logic to Programming - Progress in Theoretical Computer Science 1998 edition

Prix
€ 97,49

Commandé depuis un entrepôt distant

Livraison prévue 6 - 13 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

Également disponible en tant que :

This monograph develops techniques for equational reasoning and declarative programming based on higher-order logic. The author presents a framework for the full integration of declarative programming models and shows its application.

188 pages, biography

Médias Livres     Hardcover Book   (Livre avec dos et couverture rigide)
Validé 18 décembre 1997
ISBN13 9780817640323
Éditeurs Birkhauser Boston Inc
Pages 188
Dimensions 156 × 234 × 12 mm   ·   494 g
Langue et grammaire Anglais  

Voir tous les Christian Prehofer ( par ex. Hardcover Book et Paperback Book )