Modélisation et raisonnement sur les systèmes Michael Huth est un manuel de référence sur le raisonnement formel en informatique. Il présente des méthodes pour modéliser, spécifier et vérifier des systèmes, avec un accent sur les techniques formelles et la vérification de modèles.
Cette deuxième édition propose une introduction approfondie au raisonnement formel, adaptée aux besoins actuels de l’informatique. Le texte a été enrichi de nouveaux chapitres et de chapitres développés sur les solveurs SAT, la logique du second ordre, les micro-modèles et la vérification de programmes. Le contenu aide les étudiants et les professionnels grâce à des explications claires et à des exercices supplémentaires, y compris des solutions en ligne.
Caractéristiques
- Auteur : Michael Huth (Imperial College London)
- Éditeur : Cambridge University Press
- Reliure : Broché (édition américaine)
- Date de publication : 26 août 2004
- Nombre de pages : 440
- ISBN : 9780521543101
- Sujet : Théorie mathématique du calcul
- BISAC : ORDINATEURS / Théorie des machines