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

archive site amateur packet radio flow control line eater Solaris Distributed Component Object Model case and paste NPL General Magic Application Service Element Multiple Master nn Berkeley Network Ada/Ed Visual BASIC command line option RFC 1123 date Windows Application Binary Interface symmetric multiprocessing Not-a-Number virtual server AS/400 Commercial Internet eXchange priority inversion Fibre Channel-Arbitrated Loop copyleft DirectX peer Serial Line Internet Protocol image processing C+@time bomb Direct Inward Dialing database Loglan windows messaging JavaBeans Portable Document Format RISC OS cut a tape Self memory protection SimCity out-of-band symbolic mathematics Java Virtual Machine pre\box diskless workstation crippleware vanilla Infrared Data Association MIT Scheme J Y cryptography for The Rest Of Us epoch Open Graphics Library computer re-entrant domain engineering interactive development environment ray tracing StrongARM bit rot Milarepa ARM7 Yellow Box Isabelle load balancing Universal Asynchronous Receiver/Transmitter delete interrupt Bletchley Park bits per pixel client-server Unicode CLISP Syntax/Semantic Language

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