Il libro è attualmente esaurito
Maggiori informazioni sul libro
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.
Acquisto del libro
Models of Computation, Roberto Bruni, Ugo Montanari
- Lingua
- Pubblicato
- 2017
- product-detail.submit-box.info.binding
- (Copertina rigida)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Qui potrebbe esserci la tua recensione.