VDict - Definition of proof system

search result for proof system in Computing (FOLDOC) dictionary

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

down memory protection legacy system speedometer System Account Manager PowerOpen Environment NCS X client OS-9 sound Ponder software bloat System V Interface Definition two-phase commit STREAMS fork bomb MetaCard octal Somar DumpAcl OpenWindows Enterprise Resource Planning Global Positioning System Intermediate System downsizing Windows 95 static database management system Remote Job Entry Basic Language for Implementation of System Software Intrinsics Novell NetWare Logic for Computable Functions CATO Convergent Technologies Operating System OIL Intuition page out RPM axiom BACAIC availability communication system JPLDIS QNX entropy On-Line Computer system evaluation level-sensitive scan design bible device driver PROOF/L Edison asynchronous DAA Missed'em-five SCCS Virtual Storage Extended PDP-20 UIMS Control Program for Microcomputers X Window System Compatible Timesharing System inference engine DATATRIEVE American Telephone and Telegraph, Inc.alias Pluggable Authentication Module Culler-Fried System Network Filing System operational requirements Virtual Memory System interrupt AOS failure Angel QDOS filing system system administrator windowing system system manager PDS/MaGen

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