Industrial used of formal method : formal verification /
"At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the "formal technics" (such proof and model-checking) on industrial examples for t...
| Άλλοι συγγραφείς: | |
|---|---|
| Μορφή: | Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
London :
ISTE ;
[2012]
Hoboken, NJ : Wiley, [2012] |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
