D. Harel: First-Order Dynamic Logic

Cover: 9783540092377 | First-Order Dynamic Logic | D. Harel | Taschenbuch | Englisch | 1979

Rückseite: 9783540092377 | First-Order Dynamic Logic | D. Harel | Taschenbuch | Englisch | 1979

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

11,95 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

auf Lager, Lieferzeit 1-2 Werktage

Kategorien:

Beschreibung

I: Binary-relation semantics.- II: Computation-tree semantics.

Zusammenfassung

David Harel has been at the Weizmann Institute of Science in Israel since 1980. He was Department Head from 1989-95, and was Dean of the Faculty of Mathematics and Computer Science between 1998 and 2004. He was also co-founder of I-Logix, Inc. He received his PhD from MIT in 1978, and has spent time at IBM Yorktown Heights, and sabbaticals at Carnegie-Mellon University, Cornell University, and the University of Edinburgh. In the past he worked mainly in theoretical computer science (logic, computability, automata, database theory), and he now works mainly on software and systems engineering and on modeling biological systems. He is the inventor of statecharts and co-inventor of live sequence charts, and co-designed Statemate, Rhapsody, the Play-Engine and PlayGo. Among his awards are the ACM Karlstrom Outstanding Educator Award (1992), the Israel Prize (2004), the ACM Software System Award (2007), the Emet Prize (2010), and three honorary degrees. He is a Fellow of the ACM, the IEEE and the AAAS, and a member of the Academia Europaea and the Israel Academy of Sciences. / David Harel ist der Dekan der Fakultät für Mathematik und Informatik des Weizmann-Instituts in Rehovot in Israel. Seine Forschungsinteressen liegen in der theoretischen Informatik, mit den Schwerpunkten Berechenbarkeit, Automatentheorie und Logik der Programmierung. Im Jahr 1992 erhielt er für herausragende Lehre den Karlstrom-Preis der Association for Computing Machinery und 1997 den Softwarepreis des israelischen Ministerpräsidenten. David Harel ist vielfacher Buchautor, und wurde einer breiteren Öffentlichkeit durch eine Reihe von Fernsehinterviews bekannt, die er mit herausragenden Mthematikern und Informatikern für einen israelischen Sender durchführte.

Erscheinungsjahr:	1979
Fachbereich:	EDV
Genre:	Informatik , Mathematik , Medizin , Naturwissenschaften , Technik
Rubrik:	Naturwissenschaften & Technik
Thema:	Lexika
Medium:	Taschenbuch
Inhalt:	Einband - flex.(Paperback)
ISBN-13:	9783540092377
ISBN-10:	3540092374
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Harel, D.
Hersteller:	Springer
Verantwortliche Person für die EU:	Springer Nature Customer Service Center GmbH, Europaplatz 3, D-69115 Heidelberg, productsafety@springernature.com
Maße:	235 x 155 x 9 mm
Von/Mit:	D. Harel
Erscheinungsdatum:	01.04.1979
Gewicht:	0,236 kg