Le livre est actuellement en rupture de stock
En savoir plus sur le livre
Focusing on foundational models of computation, this book explores various programming paradigms and their mathematical underpinnings. It includes formal techniques for reasoning and proving properties of each model. Initial chapters cover structure, meaning, semantic methods, inference rules, and logic programming. Subsequent sections delve into a simple imperative language (IMP), a higher-order functional language (HOFL), as well as concurrent, nondeterministic, interactive, and probabilistic models, providing a comprehensive overview of computational theories.
Achat du livre
Models of Computation, Roberto Bruni, Ugo Montanari
- Langue
- Année de publication
- 2017
- product-detail.submit-box.info.binding
- (rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Il manque plus que ton avis ici.