Formal Methods: Industrial Use from Model to the Code

Formal Methods: Industrial Use from Model to the Code Praca zbiorowa Wydawca: ISTE Ltd and John Wiley & Sons Inc Data wydania: 2012 ISBN: 9781848213623 Liczba stron: 384 Format: 164 x 241 x 27 Rodzaj oprawy: Hardback Opis produktu: 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.