Skorzystaj z wyszukiwarki lub indeksu alfabetycznego.
Przykłady: pci, /dev/null, functional unit, embedded system, pseudo-tty, nfs.
1 definition found From The Free On-line Dictionary of Computing (05 January 2017) [foldoc]: Software Verification Research Centre
(SVRC) A Special Research Centre of the Australian Research Council. Its mission is to create improved methods and tools, of industrial significance, for developing verified software. Two of the SVRC's core projects are the Cogito methodology and the Ergo proof tool. (1995-11-14)