David Harel
David Harel (; born 12 April 1950) is a computer scientist, currently serving as President of the Israel Academy of Sciences and Humanities. He has been on the faculty of the Weizmann Institute of Science in Israel since 1980, and holds the William Sussman Professorial Chair of Mathematics. Born in London, England, he was Dean of the Faculty of Mathematics and Computer Science at the institute for seven years. Provided by Wikipedia
Showing 1 - 6 results of 6 for search 'Harel, David, 1950-', query time: 0.16s
Refine Results
-
1by Harel, David, 1950-
Published 1979Call Number: Loading...Connect to the full text of this electronic book
Located:Loading...
eBook -
2
-
3
-
4
-
5
-
6by Harel, David, 1950-
Published 2000Call Number: Loading...Connect to the full text of this electronic book
Located:Loading...
eBook
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Computer logic
Formal methods (Computer science)
Object-oriented programming (Computer science)
System design
Algorithms
Computer programming
Computer software
Development
Electronic data processing
Logic, Symbolic and mathematical
Logik
Logique symbolique et mathématique
Mathematische Logik
Ordinateurs
Programmation
Programmation (Informatique)
Programmierung
Recursion theory
Récursivité, Théorie de la
Software engineering
Statecharts (Computer science)
Visual programming languages (Computer science)
analyse programme
langage algébrique
logique formelle
logique premier ordre
logique programme
sémantique langage