This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods, held in Graz, Austria, in September 1997. The 35 revised full papers presented in the volume were selected from a total of 94 submissions. Formal methods and mathematically based techniques are increasingly recognized as a viable technology for the development and engineering of computing systems. The majority of the papers in this volume describe industrial applications, extensions to existing...

Originally published in 1972, this is a detailed examination of the policy of the People's Republic of China towards the overseas Chinese.

Studying British Cinema: 1999-2009 adopts a number of approaches to popularist, mainstream, and esoteric arthouse films. The book considers the institutional and financial factors that influence U.K. film production and assesses issues of genre, representation, authorship, and social, economic, and political contexts. The growth of coproduction is considered by looking at both Aardman Animation and the Harry Potter franchise (2001 to the present). Representations of social class factor into films as diverse as Red Road (2006) and Love, Actually (2003), and developments in...