Reactive systems: modelling, specification and verification
Auteur :
Aceto, Luca / Ingólfsdóttir, Anna / Larsen, Kim Guldstrand / Srba, Jiri
Éditeur :
Cambridge University Press
ISBN :
9780521875462
Date de publication :
9 août 2007
Dimensions :
24,6 x 18,2 x 2,0 cm
Poids :
680 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
This accessible text describes the process algebraic approach to the specification and verification of software and software systems using mathematical logic. Offering a balanced introduction for graduate students, the book describes all the various approaches, their strengths and weaknesses, and when they are best used.