Formal methods : industrial use from model to the code /
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. It took until the end of the 1990s before formal methods...
Άλλοι συγγραφείς: | |
---|---|
Μορφή: | Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
London : Hoboken, NJ :
ISTE ; Wiley,
[2012]
|
Σειρά: | Industrial implementation of formal methods series.
ISTE. |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |