A high-level description is one that is more abstracted, describes overall goals and systemic features, and is typically more concerned with the system as a whole, or larger components of it. In formal methods, a high-level formal specification can be related to a low-level executable implementation (e.g., formally by mathematical proof using formal verification techniques).
This place is situated in Huizhou Shi, Guangdong, China, its geographical coordinates are 23Â° 5' 0 North, 114Â° 24' 0 East and its original name (with diacritics) is Huizhou. See Huizhou photos and images from satellite below, explore the aerial photographs of Huizhou in China.
Guanzhou Map and Travel Guide. Lying to the South China Sea, Guangzhou is located on the Pearl River Delta at 113Â° 17' longitude E. and 23Â° 8' latitude N. and neighbours Hong Kong and Macao. The city is the capital of Guangdong Province and has a history of more than 2,200 years. The city is the centre of Lingnan Culture, the communication hub as well as the largest trade port in South China.