Stoddart, Bill books & textbook
Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science, 1945)
Grieskamp, Wolfgang Santen, Thomas Stoddart, Bill
Springer /2000-10-18 Paperback / 456 Pages
isbn-10: 3540411968 / isbn-13: 9783540411963
Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers (Lecture Notes in Computer Science, 4010)
Springer /2006-06-27 Paperback / 272 Pages
isbn-10: 354034750X / isbn-13: 9783540347507
The music machine
Sphere /1979T Paperback / 160 Pages
isbn-10: 0722162863 / isbn-13: 9780722162866
