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 address SimCity 2000 pumpkin Dynix Happy GNU Network Object Model Environment brain-damaged neats vs. scruffies load Actors quantum bogodynamics Supplementary Ideographic Plane Ada intranet Digital Library Initiative fill-out form Vienna Development Method Specification Language network software laser brute force and ignorance Good Thing dead code IP Telephony 386BSD Opus hardware archive Scheme-to-C 5th Glove High Performance Computing and Communications Read-Only Memory Adaptec Columbia AppleTalk Package bot grind crank Euclid Helen Keller mode Object Data Management Group QNX Joint Academic NETwork device driver University of Durham Unix to Unix Copy Arjuna version crash engine visualisation dike TWAIN demigod Multi-Version Concurrency Control image README file MIGRAINES bit bang Object-Oriented Turing Ruby BITNET digital dashboard PostgreSQL CLP(R)Defense Advanced Research Projects Agency Ptolemy gedanken Turing module aeroplane rule UCS transformation format Management Information Base Macromedia ISO 9000 design pattern m4 retrocomputing Zip Drive Q Santa Cruz Operation Joint Test Action Group noddy

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