VDict - Definition of Language Of Temporal Ordering Specification

search result for Language Of Temporal Ordering Specification in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 7 Next > Last

Language Of Temporal Ordering Specification LOTOS Algebraic Specification Language model checking RSL ACT ONE ANNotated Ada LARCH/CLU B Denotational Semantics Language Vienna Development Method Specification Language Synthesizer Specification Language BMASF Z Fresco ASPIK partial ordering Larch Spec SDL Ina Jo ASL+SPLX Iota SPECIAL Axiomatic Architecture Description Language MARVIN Tempura SSL Lex Delta SPADE Data definition language ordering Vienna Development Method Tree Transformation Language Abstract-Type and Scheme-Definition Language SRDL CLEAR PAISley Extended ML Syntax/Semantic Language A Language for Attributed Definitions PROgrammed Graph REwriting Systems me too Process Design Language 2 Document Style Semantics and Specification Language POLYGOTH SDF ISL legalese Eva LPG GVL Pam ADELE OLGA PLUSS MIMOLA TrafoLa Hierarchical Music Specification Language nML LIDO GSBL Bertrand TDF ASpecT Xilinx Netlist Format High Performance Fortran LYRIC Multimedia Personal Computer total ordering SYN viz Alexis complete partial ordering Alphard PaiLisp Virtual Reality Modeling Language modal logic

First < Previous 1 2 3 4 5 6 7 Next > Last