Note :
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 2 votes.
Models of Computation
Ce livre présente les principaux modèles de calcul, leurs paradigmes de programmation de base et leurs descriptions mathématiques, à la fois concrètes et abstraites. Chaque modèle est accompagné de techniques formelles pertinentes permettant de raisonner sur lui et de prouver certaines propriétés. Après des chapitres préliminaires qui introduisent les notions de structure et de sens, les méthodes sémantiques, les règles d'inférence et la programmation logique, les auteurs organisent leurs chapitres en parties sur IMP, un langage impératif simple.
HOFL, un langage fonctionnel d'ordre supérieur.
Les modèles concourants, non déterministes et interactifs.
Et les modèles probabilistes/stochastiques.
Les auteurs ont testé le contenu du livre en classe pendant de nombreuses années, et il sera précieux pour les étudiants de troisième cycle et les étudiants avancés en informatique théorique et en systèmes distribués, ainsi que pour les chercheurs dans ce domaine. Chaque chapitre du livre se termine par une liste d'exercices portant sur les techniques clés introduites. Les solutions aux exercices sélectionnés sont proposées à la fin du livre.
| ISBN : | 9783319428987 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Relié |
Actuellement disponible, en stock.
