Faites connaître cet article à vos amis:
Programming with Higher-Order Logic Dale Miller
Prix
€ 73,49
Commandé depuis un entrepôt distant
Livraison prévue 24 sept. - 2 oct.
Recevez une notification pour les nouvelles sorties de Dale Miller
Nos clients disent :
Ajouter à votre liste de souhaits iMusic
Programming with Higher-Order Logic
Dale Miller
Formal systems in computer science frequently involve specifications of computations over syntactic structures. In this book, the authors develop a programming language based on a simply typed version of higher-order logic and show that it provides an elegant approach to performing computations over structures embodying binding.
320 pages, 81 b/w illus.
| Médias | Livres Hardcover Book (Livre avec dos et couverture rigide) |
| Validé | 11 juin 2012 |
| ISBN13 | 9780521879408 |
| Éditeurs | Cambridge University Press |
| Pages | 320 |
| Dimensions | 160 × 237 × 23 mm · 616 g |
| Langue et grammaire | Anglais |
