E-bok, Engelska, 2012
On the Refinement Calculus
Av Trevor Vickers, Carroll Morgan
734 kr
Skickas måndag 12/10
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
- Format: E-bok
- Språk: Engelska
- Förlag: Springer London
- ISBN: 9781447132738
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.