9781138798175 | Routledge, February 5, 2015, cover price $180.00

9781138798182 | Routledge, February 11, 2015, cover price $52.95

9780387609836, titled "Extensions of Logic Programming: 5th International Workshop, Elp '96, Leipzig, Germany, March 28-30, 1996 : Proceedings" | Springer Verlag, April 1, 1996, cover price $56.00 | also contains Extensions of Logic Programming: 5th International Workshop, Elp ''96, Leipzig, Germany, March 28-30, 1996 : Proceedings

9780387610429, titled "Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas ''96, Passau, Germany, March 1996 : Proceedings" | Springer Verlag, April 1, 1996, cover price $68.00 | also contains Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas ''96, Passau, Germany, March 1996 : Proceedings

9783540610427 | Springer Verlag, April 1, 1996, cover price $119.00

9780387610429 | Springer Verlag, April 1, 1996, cover price $68.00 | also contains Urbanism and Transport: Building Blocks for Architects and City and Transport Planners

9780387606309, titled "Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas "95, Aarhus, Denmark, May 19-20, 1995 : Selected Papers" | Springer Verlag, November 1, 1995, cover price $69.95

9783540606307, titled "Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995 : Selected Papers" | Springer Verlag, June 1, 1995, cover price $99.00

9783540198222 | Reprint edition (Springer-Verlag New York Inc, February 24, 1993), cover price $99.00

9780387198224 | Springer Verlag, February 1, 1993, cover price $69.95