James C.P. Woodcock – författare

Visar alla böcker från författaren James C.P. Woodcock.

2 produkter

Kategorier

2 produkter

Richard S. Bird, C.Carroll Morgan, James C.P. Woodcock - Mathematics of Program Construction, Häftad

Mathematics of Program Construction

Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings

AvRichard S. Bird,C.Carroll Morganm. fl.

Häftad, Engelska, 1993

709 kr

Skickas inom 10-15 vardagar

James C.P. Woodcock, Peter G. Larsen - FME '93: Industrial-Strength Formal Methods, Häftad

FME '93: Industrial-Strength Formal Methods

First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings

AvJames C.P. Woodcock,Peter G. Larsen

Häftad, Engelska, 1993

1 459 kr

Skickas inom 10-15 vardagar