1
by Bjørner, Dines
Published 2006
Springer Berlin Heidelberg
Table of Contents: '; ... -- Linguistics -- Pragmatics -- Semantics -- Syntax -- Semiotics -- Further Specification Techniques...

2
by Bjørner, Dines
Published 1987
Springer Berlin Heidelberg
Table of Contents: '; ... -- From VDM to RAISE -- Denotational engineering or from denotations to syntax -- A type model for VDM...