Lars-Henrik Eriksson - Böcker
Visar alla böcker från författaren Lars-Henrik Eriksson. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
FME 2002: Formal Methods - Getting IT Right
International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings
Häftad, Engelska, 2002
1 101 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the international symposium Formal Methods Europe, FME 2002, held in Copenhagen, Denmark, in July 2002. The 31 revised full papers presented together with three invited contributions were carefully reviewed and selected from 95 submissions. All current aspects of formal methods are addressed, from foundational and methodological issues to advanced application in various fields.
Extensions of Logic Programming
Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings
Häftad, Engelska, 1992
554 kr
Skickas inom 10-15 vardagar
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 such as PROLOG, aswell as connections between logic programming and functionalprogramming, theoretical foundations of extensions,applications, and programming methodologies. The first workshop in this series was held in Tbingen in1989 and its proceedings areavailable as LNCS 475. Thethird workshop will be held in Bologna in 1992.