Forventes utgitt
Forventes utgitt: 31.12.2025
Leveringstid: 3-10 dager
Handlinger
Beskrivelse
Omtale
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.
-
ISBN/Varenr:
9781009561297
-
Språk:
, Engelsk
-
Forlag:
Cambridge University Press
-
Fagtema:
Data- og informasjonsteknologi
-
Litteraturtype:
-
Sider:
400
