3. 1 What are formal methods? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 3. 2 A survey of formal methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 3. 2. 1 FDTs and FSLs for sequential software . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 3. 2. 1. 1 VDM (Vienna Development Method). . . . . . . . . . . . . . . . . . . . . 19 3. 2. 1. 2 Z. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ....

IAU Symposium 278, the ninth of the 'Oxford' conferences on cultural astronomy, presents a diverse range of disciplinary perspectives on a set of problems that continue to raise exciting and challenging new research questions and promote vigorous debate. It extends discussions about cultural astronomy beyond the community of 'Western' academics to focus on the ethnoastronomy and archaeoastronomy of South America, Central and North America, and elsewhere. Highlights include vigourous debates about Chankillo, a recently discovered solar observation site in coastal Peru dating to c. 300 BC. The...

How human communities interpret what they perceive in the sky is vital in fulfilling humankind's most basic need to comprehend the universe it inhabits, both from a modern scientific perspective and from countless other cultural standpoints, extending right back to early prehistory. Archaeoastronomy, which is concerned with cultural perceptions and understandings of astronomical phenomena, is a rich cross-disciplinary field.

The central aim of "Handbook of Archaeoastronomy" is to provide a reliable source for theory, method, interpretation and best practices that will give a definitive...