Principles of Model Checking de Christel Baier, rattachée à la Technische Universität Dresden, est un ouvrage d’étude complet sur la model checking en informatique. Cette référence offre des connaissances théoriques approfondies et des perspectives pratiques, adaptées aux étudiants comme aux professionnels qui souhaitent se familiariser avec des techniques formelles de vérification.
Spécifications du produit
- Auteur : Christel Baier (Technische Universität Dresden)
- Série : Principles of Model Checking
- Éditeur : MIT Press Ltd
- Mention d’impression : MIT Press
- Date de publication : 2008-04-25
- Nombre de pages : 984
- ISBN : 9780262026499
- Thème : Informatique
- BISAC : COMPUTERS / Computer Science