Skip to content
Vinony

The Vienna development method

by D. Bjørner, Jones, C. B.

Cover of The Vienna development method

No description available.

MetaspracheFormalisation langageLangage programmationSemantikML (Computer program language)ProgrammeertalenProgrammierspracheLangages de programmationVDMMe talangageAufsatzsammlungMétalangage