Trevor Vickers – författare
Visar alla böcker från författaren Trevor Vickers. Handla med fri frakt och snabb leverans.
2 produkter
On the Refinement Calculus
Av Trevor Vickers, Carroll Morgan
E-bok, 2012
734 kr
Lägg i varukorg
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 …
On the Refinement Calculus
Av Carroll Morgan, Trevor Vickers
Häftad, 1994
569 kr
Lägg i varukorg
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 …
