Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Extensions of Logic Programming
häftad,
1992,
Engelska,
ISBN 9783540554981
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, …
FME 2002: Formal Methods - Getting IT Right
häftad,
2002,
Engelska,
ISBN 9783540439288
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. …