Cover Image
Read Now

1
by Bjørner, Dines
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- Linguistics -- Pragmatics -- Semantics -- Syntax -- Semiotics -- Further Specification Techniques...”
Cover Image
Read Now

2
Published 2008
Springer Berlin Heidelberg
“...By a specification language we understand a formal system of syntax, semantics and proof rules...”
Cover Image
Read Now

3
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... -- From VDM to RAISE -- Denotational engineering or from denotations to syntax -- A type model for VDM...”
Cover Image
Read Now

4
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... -- On conservative extensions of syntax in the process of system development -- A formal semantics for Z and the link...”