C. a. R. Hoare - Böcker

Visar alla böcker från författaren C. a. R. Hoare.

1 produkt

Kategorier

1 produkt

VDM '90. VDM and Z - Formal Methods in Software Development

Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings

AvDines Bjørner,C.A.R. Hoare,Hans Langmaack,C. a. R. Hoare,C. A. R. Hoare

Häftad, Engelska, 1990

709 kr

Skickas inom 10-15 vardagar