C.A.R. Hoare – författare

Visar alla böcker från författaren .

1 produkt

Kategorier

1 produkt

Dines Bjørner, C.A.R. Hoare, Hans Langmaack - VDM '90. VDM and Z - Formal Methods in Software Development, Häftad

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. Hoarem. fl.

Häftad, Engelska, 1990

729 kr

Skickas inom 10-15 vardagar