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