Lars-Henrik Eriksson – författare

Visar alla böcker från författaren Lars-Henrik Eriksson. Handla med fri frakt och snabb leverans.

3 produkter

1. 

   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

   1128 kr

   Lägg i varukorg

   This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are traditionally held every 18 months. In 2002 the symposium was held at the University of Copenhagen, …

2. 

   FME 2002: Formal Methods - Getting IT Right

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

   Av Peter A. Lindsay, Lars-Henrik Eriksson

   E-bok, 2003

   1502 kr

   Lägg i varukorg

   This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are traditionally held every 18 months. In 2002 the symposium was held at the University of Copenhagen, …

3. 

   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

   569 kr

   Lägg i varukorg

   This volume contains papers presented at the secondinternational workshop on extensions of logic programming,which was held at the Swedish Institute of Computer Science,Stockhom, January 27-29, 1991.The 12 papers describe and discuss several approaches toextensions of logic programming languages …