Formal methods: industrial use from model to the code
Éditeur :
ISTE Ltd and John Wiley & Sons Inc
ISBN :
9781848213623
Date de publication :
11 mai 2012
Dimensions :
24,1 x 16,3 x 2,7 cm
Poids :
703 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language.