ISBN 9783642093456 books & textbook
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
Bjørner, Dines Henson, Martin C.
Springer /2010-11-22 Paperback / 646 Pages
isbn-10: 3642093450 / isbn-13: 9783642093456
