Industrial Use of Formal Methods
Formal Verification
Gebonden EN 2012 9781848213630Levertijd ongeveer 16 werkdagen
Gratis verzonden
Samenvatting
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 the transportation domain.
Specificaties
ISBN13:9781848213630
Taal:EN
Bindwijze:Gebonden
Aantal pagina's:320
Uitgever:ISTE Ltd and John Wiley & Sons Inc
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan