Freunden von diesem Artikel berichten:
Programming with Higher-Order Logic Dale Miller
Preis
€ 74,49
Bestellware
Lieferdatum: ca. 1. - 9. Okt
Benachrichtigungen über neue Veröffentlichungen von Dale Miller erhalten
Zu deiner iMusic Wunschliste hinzufügen
oder
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.
| Medien | Bücher Gebundenes Buch (Buch mit hartem Rücken und steifem Einband) |
| Erscheinungsdatum | 11. Juni 2012 |
| ISBN13 | 9780521879408 |
| Verlag | Cambridge University Press |
| Seitenanzahl | 320 |
| Maße | 160 × 237 × 23 mm · 616 g |
| Sprache | Englisch |
