1.
Extensions of Logic Programming
by Eriksson, Lars-Henrik, Hall...
ISBN: 9783662197608
List Price: $24.99
OUT OF STOCK
See Availability on Amazon2.
Fme 2002 : Formal Methods - Getting It Right: International Symposium of Formal Methods Euro...
by Eriksson, Lars-Henrik, Lind...
ISBN: 9783662182826
List Price: $24.99