|
|
Showing 1 - 2 of
2 matches in All Departments
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.
This volume contains papers presented at the second international
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 to
extensions of logic programming languages such as PROLOG, as well
as connections between logic programming and functional
programming, theoretical foundations of extensions, applications,
and programming methodologies. The first workshop in this series
was held in T}bingen in 1989 and its proceedings areavailable as
LNCS 475. The third workshop will be held in Bologna in 1992.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R367
R340
Discovery Miles 3 400
|