Mathematical theory of program correctness
By: Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker.
Series: Prentice-Hall International series in computer science
Publisher: Prentice-Hall International
Published: 1980
Place of publication: Englewood Cliffs, N.J
Language: eng
Number of pages: 505
Subjects: Computer programs -- Correctness.; Logic, Symbolic and mathematical.
Description: "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....
Notes: Bibliography: p. 466-490.
Includes index.