Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which ...

Measurement shapes scientific theories, characterises improvements in manufacturing processes and promotes efficient commerce. In concert with measurement is uncertainty, and students in science and engineering need to identify and quantify uncertainties in the measurements they make. This book introduces measurement and uncertainty to second and third year students of science and engineering.

Its approach relies on the internationally recognised and recommended guidelines for calculating and...

This bestselling textbook provides an engaging and user-friendly introduction to the study of language. Assuming no prior knowledge of the subject, Yule presents information in bite-sized sections, clearly explaining the major concepts in linguistics and all the key elements of language. This eighth edition has been revised and updated throughout, with major changes in the chapters on Origins, Phonetics, Syntax, Semantics, Pragmatics, Discourse Analysis, First and Second Language Acquisition ...

Are you curious to know what all languages have in common and how they differ? Do you want to find out how language can be used to trace different peoples and their past? Now in its fourth edition, this fascinating book guides beginners through the rich diversity of the world's languages. It presupposes no background in linguistics, and introduces key concepts with the help of problem sets, end-of-chapter exercises and an extensive bibliography. It is illustrated with detailed maps and charts...

Fifth edition of the leading textbook on international organizations that mixes international law, politics, and case studies in an accessible package. It presents the most important global institutions, from the UN to the WTO and FIFA and the International Olympic Committee, explaining the legal treaties and their political controversies for each.

In a radical reappraisal of Iran's modern history, Ervand Abrahamian traces the country's traumatic journey from the mid-nineteenth century to the present day, through the discovery of oil, imperial interventions, the rule of the Pahlavis, and the birth of the Islamic Republic. The first edition was named the Choice Outstanding Academic Title in 2009. This second edition brings the narrative up to date, with the Green uprisings of 2009, the second Ahmadinejad administration, the election of R...

This is the first textbook to focus exclusively on issues of distributive justice on the global scale. It gives clear and up-to-date accounts of the major theories of global justice and spells out their significance for a series of political issues, including climate change, international trade, human rights and migration.

Contemporary China appears both deceptively familiar and inexplicably different. China is a cauldron of forms of entrepreneurship, social organization, ways of life and governance that are at once new and unique, recognizably Chinese and generically modern. In analyzing and interpreting these developments, Frank N.

Pieke adopts a China-centric perspective to move beyond western preoccupations, desires, or fears. Each chapter starts with a key question about China, showing that such questions ...

Learn how to plan for success with this hands-on guide to conducting high-quality engineering research. Plan and implement your next project for maximum impact: step-by-step instructions cover every stage in engineering research, from the identification of an appropriate research topic through to the successful presentation of results. Improve your research outcomes: discover essential tools and methods for producing high-quality, rigorous research, including statistical analysis, survey desi...

An improved, larger-format edition of the Cambridge School Shakespeare plays, extensively rewritten, expanded and produced in an attractive new design. An active approach to classroom Shakespeare enables students to inhabit Shakespeare's imaginative world in accessible and creative ways. Students are encouraged to share Shakespeare's love of language, interest in character and sense of theatre.

Substantially revised and extended in full colour, classroom activities are thematically organised ...