WorldCat Identities

Harel, David 1950-

Works: 62 works in 381 publications in 7 languages and 5,491 library holdings
Genres: Conference papers and proceedings  Biography  History  War films  Drama 
Roles: Author, Editor
Classifications: QA76, 004
Publication Timeline
Most widely held works about David Harel
Most widely held works by David Harel
Dynamic logic by David Harel( )

19 editions published between 1982 and 2015 in English and held by 1,458 WorldCat member libraries worldwide

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. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic, and the algebra of regular events. In First-Order Dynamic Logic (DL), the propositional calculus is replaced by classical first-order predicate calculus. Dynamic Logic is a system of remarkable unity that is theoretically rich as well as of practical value. It can be used for formalizing correctness specifications and proving rigorously that those specifications are met by a particular program. Other uses include determining the equivalence of programs, comparing the expressive power of various programming constructs, and synthesizing programs from specifications.This book provides the first comprehensive introduction to Dynamic Logic. It is divided into three parts. The first part reviews the appropriate fundamental concepts of logic and computability theory and can stand alone as an introduction to these topics. The second part discusses PDL and its variants, and the third part discusses DL and its variants. Examples are provided throughout, and exercises and a short historical section are included at the end of each chapter
Algorithmics : the spirit of computing by David Harel( Book )

85 editions published between 1987 and 2014 in 3 languages and held by 1,302 WorldCat member libraries worldwide

Provides a study of the fundamental theoretical ideas of computing and examining how to design accurate and efficient algorithms
Computers Ltd. : what they really can't do by David Harel( Book )

30 editions published between 2000 and 2012 in 4 languages and held by 725 WorldCat member libraries worldwide

"In Computers Ltd., David Harel, a world renowned computer scientist, explains and illustrates one of the most fundamental, yet under-exposed facets of computers - their inherent limitations. Giving us the bad news that is proven, lasting, and robust, discussing limitations that no amounts of hardware, software, talents, or resources can overcome, the book offers us a disturbing and provocative view of computing at the start of the 21st century."--Jacket
First-order dynamic logic by David Harel( Book )

16 editions published between 1979 and 2007 in 3 languages and held by 431 WorldCat member libraries worldwide

Algoritmi : Lo spirito dell'informatica by David Harel( )

20 editions published between 1987 and 2008 in 3 languages and held by 352 WorldCat member libraries worldwide

Gli algoritmi sono il cuore dell'informatica e della matematica, poiché senza di loro l'uso del computer non sarebbe possibile. In questo libro, che nella sua edizione inglese è un bestseller da molto tempo, Harel e Feldmann rispondono a tutte le domande relative a questo tema. Parlano della valutazione, della correttezza e dell'efficacia degli algoritmi, ma chiariscono anche qualche dubbio sulle tecniche di programmazione e si riferiscono inoltre all'attualissima discussione sul calcolo quantistico. Il libro è utile sia come testo base per un corso universitario introduttivo all'informatica, sia come introduzione generale alle scienze naturali, alla matematica o all'ingegneria. "Questo libro è un autentico tour de force. Harel scrive con una verve, una chiarezza e un'immaginazione fuori dal comune. Attraverso l'uso di domande stuzzicanti ed esempi selezionati con cura e spesso divertenti, l'autore trasmette al lettore l'entusiasmo e la soddisfazione intellettuale della ricerca nel campo dell'informatica. Senza usare la matematica formale, ma senza per questo motivo sacrificare l'integrità intellettuale, egli comunica al lettore generale i profondi principi su cui si fonda l'informatica; principi che, prima d'ora, risultavano accessibili solo attraverso libri di testo e articoli scientifici molto complessi. Rappresenta il meglio della scrittura scientifica." Dr. Stan Scott, Queen's University Belfast The Times Higher Education Supplement
The science of computing : exploring the nature and power of algorithms by David Harel( Book )

17 editions published between 1987 and 1989 in English and held by 248 WorldCat member libraries worldwide

Come, let's play : scenario-based programming using LSCs and the play-engine by David Harel( Book )

18 editions published between 2003 and 2013 in English and held by 247 WorldCat member libraries worldwide

CD-ROM contains the research-level tool Play Engine
Algorithmik : die Kunst des Rechnens by David Harel( )

8 editions published between 2006 and 2010 in German and held by 195 WorldCat member libraries worldwide

Algorithmen sind der Kern der Informatik und der Mathematik, da jede Nutzung eines Computers erst durch Rechenverfahren überhaupt möglich wird. In diesem Buch, das in der englischen Originalausgabe schon lange ein Bestseller ist, gibt der Autor und sein Co-Autor umfassend und didaktisch geschickt Auskunft zu allen Fragen rund um das Thema Algorithmen, so z.B. zu Themen wie Berechenbarkeit, Korrektheit und Effizienz von Algorithmen, zu Programmiertechniken, und auch das aktuelle Thema Quantenrechnen wird behandelt. Das Buch kann als Grundlage eines einsemestrigen Einführungskurses in die Informatik dienen, oder als allgemeine Informatik-Einführung in den Naturwissenschaften, der Mathematik oder im Ingenieurwesen
Modeling reactive systems with statecharts : the statemate approach by David Harel( Book )

10 editions published in 1998 in English and held by 160 WorldCat member libraries worldwide

Algorithmic bioprocesses by Anne Condon( )

10 editions published between 2009 and 2013 in English and Undetermined and held by 54 WorldCat member libraries worldwide

Offers a comprehensive overview of research into algorithmic self-assembly, RNA folding, the algorithmic foundations for biochemical reactions, and the algorithmic nature of developmental processes. This book addresses subjects such as sequence discovery, generation, and analysis; nanoconstructions and self-assembly; and membrane computing
Model Driven Engineering Languages and Systems (vol. # 4199) 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings by Oscar Marius Nierstrasz( )

6 editions published in 2006 in English and Undetermined and held by 37 WorldCat member libraries worldwide

First-Order Dynamic Logic by David Harel( )

1 edition published in 1979 in English and held by 30 WorldCat member libraries worldwide

Engineering theories of software intensive systems by M Broy( )

9 editions published between 2005 and 2006 in English and Undetermined and held by 28 WorldCat member libraries worldwide

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. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in applications of software technology, formal methods have to serve the needs and the quality of advanced software engineering methods, especially taking into account security aspects in Information Technology. This book presents mathematical foundations of software engineering and state-of-the-art engineering methods in their theoretical substance in the step towards practical applications to examine software engineering techniques and foundations used for industrial tasks.; The contributions in this volume emerged from lectures of the 25th International Summer School on Engineering Theories of Software Intensive Systems, held at Marktoberdorf, Germany from August 3 to August 15, 2004
Raoul Wallenberg : buried alive( Visual )

2 editions published between 1984 and 2007 in English and held by 26 WorldCat member libraries worldwide

Examines the role of Raoul Wallenberg in saving Hungarian Jews during World War II, his disappearance after the Russians occupied Budapest, and the reports through the intervening decades that Wallenberg was imprisoned in Russia. Includes testimonies from Wallenberg's associates, his sister, and Jews who survived because of Wallenberg's intervention
Yan suan fa xue by David Harel( Book )

5 editions published between 1989 and 1990 in Chinese and held by 20 WorldCat member libraries worldwide

Logics of programs : axiomatics and descriptive power by David Harel( Book )

7 editions published in 1978 in English and held by 18 WorldCat member libraries worldwide

Nondeterminism in logics of programs by David Harel( Book )

4 editions published between 1978 and 1979 in English and held by 9 WorldCat member libraries worldwide

<> by David Harel( Book )

2 editions published between 2004 and 2012 in Hebrew and held by 7 WorldCat member libraries worldwide

Randomized graph drawing with heavy-duty preprocessing by David Harel( Book )

5 editions published between 1993 and 1995 in English and held by 7 WorldCat member libraries worldwide

Abstract: "We present a graph drawing system for general undirected graphs with straight-line edges. It carries out a rather complex set of preprocessing steps, designed to produce a topologically good, but not necessarily nice-looking layout, which is then subjected to Davidson and Harel's simulated annealing beautification algorithm. The intermediate layout is planar for planar graphs and attempts to come close to planar for nonplanar graphs. The system's results are significantly better, and much faster, than what the annealing approach is able to achieve on its own."
On the power of cooperative concurrency by Doron Drusinsky( Book )

4 editions published in 1988 in English and held by 6 WorldCat member libraries worldwide

We exhibit an exhaustive set of upper and lower bounds on the ability to inter-simulate these features over [sigma] [superscript *], and an almost exhaustive set for the [sigmal [superscript w] case, establishing that (a) each of the three features represents an exponential saving in succinctness of the representation, in a manner that is independent of the other two and additive with respect to them, and (b) of the three, cooperative concurrency is the strongest, representing a similar exponential saving when it is substituted for each of the others. For example, we prove an exponential lower bound on the simulation of deterministic statecharts by AFAs and a triple-exponential lower bound on the simulation of alternating statecharts by DFAs."
moreShow More Titles
fewerShow Fewer Titles
Audience Level
Audience Level
  Kids General Special  
Audience level: 0.45 (from 0.06 for Dynamic lo ... to 0.91 for First-Orde ...)

Computers Ltd. : what they really can't do
Algorithmics : the spirit of computingComputers Ltd. : what they really can't doFirst-order dynamic logicAlgoritmi : Lo spirito dell'informaticaCome, let's play : scenario-based programming using LSCs and the play-engineAlgorithmik : die Kunst des RechnensModeling reactive systems with statecharts : the statemate approachAlgorithmic bioprocesses
Alternative Names
David Harel

David Harel Israeli computer scientist

David Harel Israëlisch universitair docent (1950-)

David Harel israelischer Informatiker

Harʾel, Dawid

Harʾel Dawid 1950-....

דוד הראל

‏הראל, דוד.

הראל דוד 1950-....

הראל, דוד מתמטיקאי



English (230)

Italian (15)

German (12)

Chinese (7)

Polish (6)

Hebrew (2)

Dutch (1)