An economic history of Britain since 1700, in three volumes by thirty-nine eminent historians and economists, this book will succeed the first edition of "Floud and McCloskey" (published in 1981) as the leading textbook on its subject.

Paving the way for bibliophiles of today, the Gutenberg Bible of 1454 remains one of the most famous books in history.

The Workshop Volume from the Humans and Computers Conference documents the advanced tutorials that were presented to deepen the understanding gained from the conference lectures. It presents case studies along with accompanying exercises.

All of them are realized in the state-of-art deductive verification framework KeY. This book is the definitive guide to KeY that lets you explore the full potential of deductive software verification in practice.

The International Conference on Consumer Electronics (ICCE) is soliciting technical papers for oral and poster presentation at ICCE 2018 ICCE has a strong conference history coupled with a tradition of attracting leading authors and ...

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.