Web Services and Formal Methods October 2006 General Theory of Computing; Internet; Networking - General; Computers; Computers - Languages / Pro… ISBN 3540388621 View on Amazon Lists featuring this book (1)