Popular passages

Page xiii - ... are a number of technical difficulties with formal specification. However, these
difficulties shrink into insignificance beside the difficulty of technical transfer arising from the lack
of sympathetic material. I hope that this book will go a long way towards alleviating this. I would
like to thank a number of people who have helped in the preparation of this book. First, Steve King
and Bernard Sufrin of the Programming Research Group at Oxford University who commented on
an early version of...

Appears in 19 books from 1950-2007

Page 13 - J. Hennessy and D. Patterson, Computer Architecture: A Quantitative Approach, 2nd ed., Morgan
Kaufmann, San Francisco, 1996.

Appears in 14 books from 1974-2005

Page 215 - B. Rau and J. Fisher. Instruction-Lev