Akademibokhandeln

C.A.R. Hoare – författare

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

1 produkter

  1. Dines Bjørner, C.A.R. Hoare, Hans Langmaack - VDM '90. VDM and Z - Formal Methods in Software Development, Häftad. Tillgänglighet: Lägg i varukorg

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

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

    Av Dines Bjørner, C.A.R. Hoare m. fl.

    Häftad, 1990

    729 kr

    Lägg i varukorg