Product Description: 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 con­ centrates on reactive systems, be they software or hardware, or combined computer-embedded systems, including distributed and real-time systems...read more

Product Description: This bilingual edition of 'The Rebirth of Israel Passover Haggadah' is a unique Haggadah that draws an analogy between the idea of freedom and exodus inherent in the Passover Festival and the national liberation and rebirth of the Jewish people in the modern era...read more

Product Description: Un'eccellente introduzione agli algoritmi, alla loro struttura, a come modificano i dati, alla computabilità e alla complessità, il libro è scritto in una forma allo stesso tempo elegante e schietto che fa sì che possa essere considerato sia un valido testo per un corso introduttivo di Informatica, sia un tesoro da custodire per i programmatori provetti e i progettisti di software...read more

Product Description: Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs...read more

Product Description: Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs...read more

Providing a thorough, well-written and thoughtful study of the fundamental theoretical ideas of computing and examining how to design accurate and efficient algorithms, this book is ideal for an introductory course emphasizing theory rather than programming

Examines common beliefs about the abilities of computers and the Internet, provides scientific information on the inherent limitations of computers, and offers arguments against some of the myths about their potential.

Product Description: Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms...read more (view table of contents, read Amazon.com's description)

Product Description: The book provides a detailed description of a set of languages for modelling reactive systems, which underlies the STATEMATE toolset. The approach is dominated by the language of Statecharts, used to describe behavior, combined Activity-charts for describing activities (i...read more (view table of contents, read Amazon.com's description)

Product Description: The Science of Computing presents, in a no-nonsense way, an exposition on algorithms, the topic that is the essence of computer programming. Appropriate for programmers, computer professionals, and the technically minded public.

Product Description: Book by Harel, David