How to Read This Book

The book progresses from computational viewpoint to architecture, programming, applications, and open questions.

Students

Read sequentially and work through the examples and exercises.

Software engineers

Begin with Parts I and II, then move to the programming and testing chapters.

Researchers

Parts I, II, and V foreground the computational claims and unresolved questions.