E-bok, Engelska, 2012
On the Refinement Calculus
Av Trevor Vickers, Carroll Morgan
734 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
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.
Produktinformation
- Utgivningsdatum: 2012-12-06
- Språk: Engelska
- Filformat: PDF
- Kopieringsskydd: LCP
- ISBN: 9781447132738
- Förlag: Springer London
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.