Dictionary
Thesaurus
Reference
Translate
Web
Cold-k
2 dictionary results for: COLD-K
Free On-line Dictionary of Computing - Cite This Source - Share This

COLD-K language
A formal design kernel language for describing (sequential) software systems in intermediate stages of their design.
["An Introduction to COLD-K", H.B.M. Jonkers in Algebraic Methods: Theory, Tools and Applications, M. Wirsing et al eds, LNCS 394, Springer 1989, pp. 139-205].
(1995-01-04)

U.S. Gazetteer - Cite This Source - Share This

Cold Brook, NY (village, FIPS 16815) Location: 43.24089 N, 75.03762 W
Population (1990): 310 (126 housing units)
Area: 1.1 sq km (land), 0.0 sq km (water)
Zip code(s): 13324

Cold Spring, MN (city, FIPS 12484) Location: 45.45750 N, 94.43148 W
Population (1990): 2459 (874 housing units)
Area: 3.8 sq km (land), 0.1 sq km (water)
Zip code(s): 56320

Cold Spring, NY (village, FIPS 16936) Location: 41.41881 N, 73.95494 W
Population (1990): 1998 (941 housing units)
Area: 1.6 sq km (land), 0.0 sq km (water)
Zip code(s): 10516

Cold Springs, CA Zip code(s): 95335

Cold Bay, AK (city, FIPS 16530) Location: 55.22503 N, 162.73888 W
Population (1990): 148 (73 housing units)
Area: 150.2 sq km (land), 56.8 sq km (water)

Cold Spring, KY (city, FIPS 16372) Location: 39.02396 N, 84.43738 W
Population (1990): 2880 (1047 housing units)
Area: 5.6 sq km (land), 0.0 sq km (water)

Cold Spring Harb, NY Zip code(s): 11724

Cold Spring Harbor, NY (CDP, FIPS 16958) Location: 40.86305 N, 73.44790 W
Population (1990): 4789 (1747 housing units)
Area: 9.6 sq km (land), 0.5 sq km (water)

Share This:Share This: digg.comShare This: ma.gnolia.comShare This: www.stumbleupon.comShare This: del.icio.usShare This: FacebookShare This: favorites.live.comShare This: www.technorati.comShare This: furl.netShare This: myweb2.search.yahoo.comShare This: www.google.com