ISBN 9789971978532 books & textbook
COMPUTER-AIDED SPECIFICATION TECHNIQUES (World Scientific Computer Science)
Demetrovics, Janos Knuth, Elod Rado, Peter
World Scientific Publishing Company /1986-01-01 Hardcover / 128 Pages
isbn-10: 9971978539 / isbn-13: 9789971978532
