You are here: irt.org | FOLDOC | Verdi
(named after the Italian composer Giuseppe Verdi (1813-1901)) Provable systems language. Descendant of Ottawa Euclid.
Nearby terms: Venus flytrap « verbage « verbiage « Verdi » verification » Verilog » Verilog SA
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL