Akademibokhandeln

Lars-Henrik Eriksson – författare

Visar alla böcker från författaren Lars-Henrik Eriksson.

2 produkter

  1. Lars-Henrik Eriksson, Peter A. Lindsay - FME 2002: Formal Methods - Getting IT Right, Häftad. Tillgänglighet: Lägg i varukorg

    FME 2002: Formal Methods - Getting IT Right

    International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings

    Av Lars-Henrik Eriksson, Peter A. Lindsay

    Häftad, 2002

    1449 kr

    Lägg i varukorg

  2. Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister - Extensions of Logic Programming, Häftad. Tillgänglighet: Lägg i varukorg

    Extensions of Logic Programming

    Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings

    Av Lars-Henrik Eriksson, Lars Hallnäs m. fl.

    Häftad, 1992

    729 kr

    Lägg i varukorg