✦ LIBER ✦

A formal model of correctness in a cadastre

✍ Scribed by Steffen Bittner; Andrew U. Frank

Book ID: 108421768
Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 187 KB
Volume: 26
Category: Article
ISSN: 0198-9715
DOI: 10.1016/s0198-9715(02)00014-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal correctness proofs of a nondeterm

Formal correctness proofs of a nondeterministic program

✍ Eliezer Upfal 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 665 KB

Processes in a cadastre

✍ Gerhard Navratil; Andrew U. Frank 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 278 KB

A cadastre is a system of major importance for economy and planning. A cadastre provides data on land. It is the basis for legal aspects like ownership as well as fiscal aspects like taxation of land. The cadastre also provides data for planning assignments (for example, boundaries of constructions,

A correctness proof of sorting by means

A correctness proof of sorting by means of formal procedures

✍ Maarten M. Fokkinga 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 374 KB

A functional correctness model of progra

A functional correctness model of program verification

✍ Zelkowitz, M.V. 📂 Article 📅 1990 🏛 IEEE 🌐 English ⚖ 869 KB

Bridging the gap towards a standardized

Bridging the gap towards a standardized cadastral model

✍ Hugh Astle; Greg Mulholland; Rick Nyarady 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 543 KB

Toward a spatial 3D cadastre in Israel

✍ Moshe Benhamu; Yerach Doytsher 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 484 KB