search for books and compare prices
David Harel has written 12 work(s)
Search for other authors with the same name
displaying 1 to 12 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
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
Hardcover:
9783540007876 | Hardcover with CD edition (Springer Verlag, August 1, 2003), cover price $89.95 | About this edition: This book does not tell a story.
Paperback:
9783642624162 | Springer-Verlag New York Inc, November 5, 2012, cover price $89.95 | About this edition: This book does not tell a story.
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
Hardcover:
9789659136407 | Lambda Pub Inc, June 30, 2009, cover price $37.95 | About this edition: 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.
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
Paperback:
9788847005792 | Springer Verlag, February 3, 2008, cover price $59.95 | About this edition: 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.
Paperback:
9783540457725 | Springer-Verlag New York Inc, November 14, 2006, cover price $179.00
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
Hardcover:
9781402035302 | Kluwer Academic Pub, October 30, 2005, cover price $379.00 | About this edition: 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.
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
Paperback:
9781402035319 | Kluwer Academic Pub, August 15, 2005, cover price $179.00 | About this edition: 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.
Paperback:
9780321117847 | 3 sub edition (Addison-Wesley, June 11, 2004), cover price $77.40
9780201504019 | 2 sub edition (Addison-Wesley, January 1, 1992), cover price $81.00 | About this edition: 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
Hardcover:
9780198505556 | Oxford Univ Pr, December 14, 2000, cover price $27.50 | About this edition: 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.
Paperback:
9780198604426, titled "Computers Ltd.: What They Really Can't Do" | Reprint edition (Oxford Univ Pr, December 11, 2003), cover price $25.00
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)
Hardcover:
9780262082891 | Mit Pr, October 2, 2000, cover price $60.00 | About this edition: Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic.
Paperback:
9780262527668 | Mit Pr, September 29, 2000, cover price $53.00
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)
Hardcover:
9780070262058 | McGraw-Hill, October 1, 1998, cover price $65.00 | About this edition: The book provides a detailed description of a set of languages for modelling reactive systems, which underlies the STATEMATE toolset.
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.
Paperback:
9780201517231 | Subsequent edition (Addison-Wesley, May 1, 1989), cover price $17.95 | About this edition: The Science of Computing presents, in a no-nonsense way, an exposition on algorithms, the topic that is the essence of computer programming.
Paperback:
9780387092379 | Springer Verlag, June 1, 1979, cover price $17.00 | About this edition: Book by Harel, David
displaying 1 to 12 |
at end