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

instruction set architecture programming language Cecil MSG.84 formal methods relation Meta-IV DSSSL HMSL HSL-FX VDM-SL ECIP2 well-ordered set Blue Book Larch/C++TEMPLOG Descriptive Top-Level Specification ECSSL third generation language Paddle GRASP/Ada Opal Java Virtual Machine ASIS ASL ASF OREGANO DACAPO Ada Semantic Interface Specification Document Object Model TM PROSPER Silage Trafola-H temporal database induction OBSCURE ATX UTOPIST LOOK SmallVDM functional specification IMP Representation Language Language MooZ break-even point belief revision OPTRAN domain theory EPROS tick SEM PAL framing specification A-language Refined C Gypsy SOL temporal logic PRA Extended Memory Specification PCL Sequel VAL DDL Fortran D PFL low-level language high-level language ISPS assembly language VDM++imperative language LSL Program Composition Notation procedural language Transaction Application Language Graphics Interchange Format Formal Description Technique Course Author Language

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