Most of us would consider the emergence of large-scale communication networks to be a 20th century phenomenon. Yet, the first nationwide data networks were built not in this century but almost 200 years ago. Well before the electromagnetic telegraph was invented, many countries in Europe had fully operational data communications systems, with altogether close to 1,000 network stations.

This book gives a fascinating glimpse of the many documented attempts throughout history to develop effective means for long-distance communications. The oldest attempts date back to millennia...

This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011.
The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 141 submissions. The topics covered by NFM 2011 included but were not limited to: theorem proving, logic model checking, automated testing and simulation, model-based engineering, real-time and stochastic systems, SAT and SMT solvers, symbolic execution, abstraction and abstraction...