TY - BOOK ID - 1100956 TI - VDM '87. VDM - A formal method at work. VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987. Proceedings AU - BJOERNER, D. AU - JONES, C. B. PY - 1987 VL - vol 252 SN - 3540176543 0387176543 PB - Berlin : Springer-Verlag, DB - UniCat KW - Programming KW - 681.3*D22 KW - 681.3*D31 KW - 681.3*F32 KW - Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) KW - Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} KW - Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} KW - 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} KW - 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} KW - 681.3*D22 Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) UR - https://www.unicat.be/uniCat?func=search&query=sysid:1100956 AB - ER -