🦃 Cozy up with autumn reads! Let our AI Librarian pick your perfect fireside book 🍁
Explore the literary world of this author
What They REALLY Can't Do
David Harel explains and illustrates one of the most fundamental, yet under-exposed facets of computers - their inherent limitations....
The Spirit of Computing
Now updated in its third edition, this book concerns the concepts, ideas, methods, and results fundamental to computer science. It is about the scienc...
Exploring the Nature and Power of Algorithms
The Science of Computing presents, in a no-nonsense way, an exposition on algorithms, the topic that is the essence of computer programming. Appropria...
Computer science is the science of the future, and already underlies every facet of business and technology, and much of our everyday lives. In additi...
Scenario-Based Programming Using LSCs and the Play-Engine
This book does not tell a story. Instead, it is about stories. Or rather, in technical terms, it is about scenarios. Scenarios of system behavior. It ...
What They Really Can't Do
The Statemate Approach
The book provides a detailed description of a set of languages for modelling reactive systems, which underlies the STATEMATE toolset. The approach is ...
Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004
Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft...
und weitere bad news aus der Computerwelt
In einer brillanten tour de force beweist der bekannte Computer-Wissenschaftler David Harel bestechend logisch, dass selbst die leistungsstärksten Co...
This book provides the first comprehensive introduction to Dynamic Logic. Among the many approaches to formal reasoning about programs, Dynamic Logic ...
...