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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Boulanger, Jean-Louis
Μορφή: Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: London : ISTE ; [2012]
Hoboken, NJ : Wiley, [2012]
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link

Παρόμοια τεκμήρια