Carroll Morgan,
Trevor Vickers
On the Refinement Calculus
Paperback Engels 1994 1992e druk 9783540199311Levertijd ongeveer 9 werkdagen
Gratis verzonden
Samenvatting
On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.
Specificaties
ISBN13:9783540199311
Taal:Engels
Bindwijze:Paperback
Aantal pagina's:159
Uitgever:Springer London
Druk:1992
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