ISBN 9783826576508 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