Software Engineering 2 [E-Book] : Specification of Systems and Languages / by Dines Bjørner.
Bjørner, Dines.
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.
online resource
9783540331933
Texts in Theoretical Computer Science An EATCS Series
Full Text
Description not available.