James C. P. Woodcock - Böcker

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

2 produkter

Kategorier

2 produkter

Mathematics of Program Construction

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

Av Richard S. Bird, C.Carroll Morgan m. fl

Häftad, Engelska, 1993

709 kr

Skickas inom 10-15 vardagar

FME '93: Industrial-Strength Formal Methods

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

Av James C.P. Woodcock, Peter G. Larsen m. fl

Häftad, Engelska, 1993

1 449 kr

Skickas inom 10-15 vardagar