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...

Essential grammar reference and practice for anyone using English in a business context. Grammar for Business is a must-have for intermediate business students and anyone using English in the workplace. It provides clear explanations and authentic practice of the most essential language used in business English.

Designed to help you improve your communication skills in real business situations, it includes a unique focus on spoken as well as written grammar, and practical tips on areas such a...

The success of the Apgar score demonstrates the astounding power of an appropriate clinical instrument. This down-to-earth book provides practical advice, underpinned by theoretical principles, on developing and evaluating measurement instruments in all fields of medicine. It equips you to choose the most appropriate instrument for specific purposes.

The book covers measurement theories, methods and criteria for evaluating and selecting instruments. It provides methods to assess measurement p...

A Student Grammar of Turkish is a concise introduction to Turkish grammar, designed specifically for English-speaking students and professionals. Written with the needs of the learner very much in mind, it sets out the grammar of the language in a clear and jargon-free style.

Adopting the same approach used in his highly popular A Student's Guide to Maxwell's Equations, Fleisch explains vectors and tensors in plain language to give undergraduate and beginning graduate students a better understanding of how to use vectors and tensors to solve problems in physics and engineering.

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, containing step-by-step instructions and essential tools and methods to plan for maximum impact. With a unique engineering perspective, this is the ideal book for students and academics looking to launch their research careers.