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

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

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 concise, accessible, market-leading textbook brings together the wide-ranging fundamentals students need to understand rocks and minerals, and shows them how they relate to the broader Earth, materials and environmental sciences. Designed specifically for one-semester courses, it is beautifully illustrated to explain the key concepts in mineralogy and petrology. This edition has been fully updated based on classroom experience, and new features include a completely new chapter providing ...

Improve your understanding of idioms in English. Explanations and practice of English idioms, written for advanced-level (C1 to C2) learners of English. Perfect for both self-study and classroom activities.

Learn idioms in context, with lots of different topics, including 'Learning', 'Formal writing' and 'Telling stories'. Be confident about what you are learning, thanks to Cambridge research into how English is really spoken and written, and get better at studying by yourself, with study tip...

English for Specific Purposes offers the teacher a new perspective on this important field. The main concern is effective learning and how this can best be achieved in ESP courses. The authors discuss the evolution of ESP and its position today; the role of the ESP teacher; course design; syllabuses; materials; teaching methods, and evaluation procedures.

It will be of interest to all teachers who are concerned with ESP. Those who are new to the field will find it a thorough, practical introd...

Cambridge English for the Media develops the communication skills and specialist English language knowledge of media students and professionals, enabling them to work more confidently and effectively. Covering a range of media-related fields including newspapers, television, radio and marketing, the eight standalone units enable students to concentrate on the areas that are most relevant to them. As well as teaching specialist language, the course also develops job-specific skills such as wri...

At long last, here is the thoroughly revised and updated third edition of the hugely successful The Art of Electronics. It is widely accepted as the best single authoritative book on electronic circuit design, and is in fact so popular that it has been counterfeited - so beware if purchasing from a third party via an online retailer, as you may receive a very inferior physical product. In addition to new or enhanced coverage of many topics, the third edition includes 90 oscilloscope screensho...

Advanced vocabulary tests with answers to accompany the popular English Vocabulary in Use Advanced Second Edition reference and practice book. 100 easy-to-use vocabulary tests for advanced learners of English. Test Your English Vocabulary in Use Advanced Second Edition book with answers can be used on its own or along with the English Vocabulary in Use Advanced Second Edition reference and practice book.

It offers a wide variety of enjoyable test types and a clear marking system on each page ...

Grammar in Use is the world's best-selling grammar series for learners of English. Essential Grammar in Use with Answers, authored by Raymond Murphy, is the first choice for elementary-level (A1-B1) learners and covers all the grammar required at this level. It is a self-study book with simple explanations and lots of practice exercises, and has helped millions of people around the world to communicate in English.