slovodefinícia
software verification research centre
(foldoc)		Software Verification Research Centre
SVRC

(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)
podobné slovodefinícia

Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.

na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.

online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4