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.
Without proper rendering support, you may see question marks, boxes, or other symbols instead of Chinese characters. Guilin is a prefecture-level city in the northeast of the Guangxi Zhuang Autonomous Region, China, situated on the west bank of the Li River, and bordering Hunan to the north.Its name means, Forest of Sweet Osmanthus , owing to the large number of fragrant Sweet Osmanthus trees located in the city.n 111 BC, during the reign of Emperor Wu of the Han Dynasty, Shi An County was established, which could be regarded as the beginning of the city. In 507 AD, the town was renamed Guizhou. Guilin prospered in the Tang and Song dynasties but remained a county.