Spar
On the Refinement Calculus
e-bok, 2012
Engelsk
Les i Adobe DRM-kompatibelt e-bokleserDenne e-boka er kopibeskyttet med Adobe DRM som påvirker hvor du kan lese den. Les mer
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.
- Redaktør
- Trevor Vickers, Carroll Morgan
- ISBN
- 9781447132738
- Språk
- Engelsk
- Utgivelsesdato
- 6.12.2012
- Forlag
- SPRINGER LONDON
- Tilgjengelige elektroniske format
- PDF - Adobe DRM
- Les e-boka her
- E-bokleser i mobil/nettbrett
- Lesebrett
- Datamaskin
