VDict - Definition of Software Verification Research Centre

search result for Software Verification Research Centre in Computing (FOLDOC) dictionary

First < Previous 13 14 15 16 17 18 19 Next > Last

virtual machine hosed three-tier USENIX hook application program Mini Disc Persistent Functional Language American Standard Code for Information Interchange Macintosh Operating System CDL Computing Devices Canada Ltd.Unisys Corporation System Management Bus Ecash Automated Retroactive Minimal Moderation minicomputer expert system Advanced RISC Machines Ltd.MPEG-1 audio layer 3 compression National Information Infrastructure Digital Equipment Corporation kremvax byte-code FreeBSD Common Lisp VisiCalc /vi'zi-calk/SPL Virtual LAN Glish SPEC Internet Adapter sendmail shar bar code American Telephone and Telegraph, Inc.COmmon Business Oriented Language Rhapsody power-on self-test object-oriented programming scratch monkey Virtual Private Network rl refactoring directory service mod Xemacs database management system OS/2 electronic mail address virtual 86 mode Gnuplot QL SuperJanet Compact Disc Read-Only Memory Redundant Arrays of Independent Disks third generation computer interrupt handler IBM PC demon MS-DOS Ode On-Line Analytical Processing monitor Commodore 65 Life GNU Free Documentation License thin client flame Intel 80186 Erlang laser printer Simple Network Management Protocol version 2 indent style ABC mailing list SNAFU principle Scalable Processor ARChitecture Tool Command Language

First < Previous 13 14 15 16 17 18 19 Next > Last