Thomas Santen books & textbook
A Mechanized Logical Model of Z and Object-orientated Specification (Berichte Aus Der Softwaretechnik)
Shaker Verlag GmbH, Germany /2000-08-03 Paperback / 397 Pages
isbn-10: 3826576500 / isbn-13: 9783826576508
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
