Programming with Higher-Order Logic - Dale Miller - Knihy - Cambridge University Press - 9780521879408 - 11. júna 2012
V prípade, že obal a názov nesedia, platí názov

Dale Miller
Programming with Higher-Order Logic

Dostávať e-mail, keď bude položka k dispozícii
Do you have a profile? Prihlásiť sa
Dostávajte upozornenia na nové nahrávky interpreta Dale Miller

Naši zákazníci hovoria:

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa
Najvyššie hodnotenie na Trustpilot
Pridať do vášho zoznamu prianí na iMusic

Not rated yet

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édium Knihy     Hardcover Book   (Kniha s pevnou väzbou a obalom)
Vydané 11. júna 2012
ISBN13 9780521879408
Vydavatelia Cambridge University Press
Strany 320
Rozmery 160 × 237 × 23 mm   ·   616 g
Jazyk Angličtina  

Viac od toho istého vydavateľa

Pozrieť všetko od Dale Miller ( napr. CD , Paperback Book , SCD a Hardcover Book )