Formal Methods
Industrial Use from Model to the Code
Gebonden EN 2012 9781848213623Levertijd ongeveer 16 werkdagen
Gratis verzonden
Samenvatting
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.
Specificaties
ISBN13:9781848213623
Taal:EN
Bindwijze:Gebonden
Aantal pagina's:384
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