VDict - Definition of Software Verification Research Centre

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

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

16-bit application HyperCard scheduling system TrackPoint I didn't change anything!Stone Age major release Adobe Systems, Inc.POSTGRES Reliability, Availability, Serviceability Tiny BASIC reuse ERGO-Shell graphic workstation zorch technology Internet Engineering Task Force flag day Berkeley Software Distribution autoconf DOCMaker TANSTAAFL FUD XSB REDUCE tail recursion modulo cons neutrosophic logic MATLAB Internet Society Lout CAS 8051 Assembler EUnet Ltd.Advanced Function Presentation Vint Cerf Quantum-dot Cellular Automata Flex second-system effect Electronic Numerical Integrator and Computer fascist universal thunk Speech Application Programming Interface design graphics adaptor Uniface Java 2 Platform, Standard Edition client subject-oriented programming legal Poly TELNET Playstation rain dance Information Technology RATional Fortran case based reasoning glass tty VxWorks smoke test QTRADER library Towers of Hanoi sanity check Brooks's Law eight-bit clean lcc Dynamic Host Configuration Protocol Big bag of pages Multimedia Integrated Conferencing for European Researchers Data Encryption Standard instruction scheduling Hytelnet Zynet Ltd.Abstract-Type and Scheme-Definition Language America On-Line, Inc.PRECCX Computer Emergency Response Team Systems Analysis Definition UBASIC public domain

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