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

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.

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

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

Delivering fundamental insights into the most popular methods of molecular analysis, this text is an invaluable resource for students and researchers. It encompasses an extensive range of spectroscopic and spectrometric techniques used for molecular analysis in the life sciences, especially in the elucidation of the structure and function of biological molecules. Covering the range of up-to-date methodologies from everyday mass spectrometry and centrifugation to the more probing X-ray crystal...

Raymond Murphy's English Grammar in Use is the first choice for intermediate (B1-B2) learners and covers all the grammar you will need at this level. This book with answers has clear explanations and practice exercises that have helped millions of people around the world improve their English. It is perfect for self-study and can also be used by teachers as a supplementary book in classrooms.

This Element offers a brief overview of Buddhist thought and modern scholarly approaches to its diverse forms of moral reflection. It then explores two of the most prominent philosophers from the main strands of the Indian Buddhist tradition - Buddhaghosa and Santideva - in a comparative fashion.