Mathematical theory of program correctness
by J. W. de Bakker
- 1 Want to read
"The third novel in Terry Pratchett and Stephen Baxter's "Long Earth" series, which Io9 calls "a brilliant science fiction collaboration.""--
2040-2045. In the years after the cataclysmic Yellowstone eruption there is massive economic dislocation as populations flee Datum Earth to myriad Long Earth worlds. Sally is contacted by her long-vanished father and inventor of the original Stepper device, Willis Linsay. He tells her he is planning a fantastic voyage across the Long Mars and wants her to accompany him. U. S. Navy Commander Maggie Kauffman has embarked on an incredible journey of her own, leading an expedition to the outer limits of the far Long Earth. Joshua becomes embroiled in the plight of the Next: the super-bright post-humans who are beginning to emerge from their "long childhood" in the community called Happy Landings, located deep in the Long Earth. A dramatic showdown seems inevitable....
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
Mathematical theory of program correctness
1980, Prentice-Hall International
in English
0135621321 9780135621325
|
aaaa
|
Book Details
Edition Notes
Bibliography: p. 466-490.
Includes index.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
| May 19, 2025 | Edited by MARC Bot | import existing book |
| December 25, 2024 | Edited by MARC Bot | import existing book |
| August 18, 2020 | Edited by ImportBot | import existing book |
| December 5, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
| December 10, 2009 | Created by WorkBot | add works page |