
David Harel
Broschiertes Buch
First-Order Dynamic Logic
Versandfertig in 1-2 Wochen
PAYBACK Punkte
5 °P sammeln!
I: Binary-relation semantics.- II: Computation-tree semantics.
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.
Produktbeschreibung
- Lecture Notes in Computer Science 68
- Verlag: Springer, Berlin
- 1979.
- Seitenzahl: 148
- Erscheinungstermin: 1. April 1979
- Englisch
- Abmessung: 235mm x 155mm x 9mm
- Gewicht: 218g
- ISBN-13: 9783540092377
- ISBN-10: 3540092374
- Artikelnr.: 23113970
Herstellerkennzeichnung
Die Herstellerinformationen sind derzeit nicht verfügbar.
Für dieses Produkt wurde noch keine Bewertung abgegeben. Wir würden uns sehr freuen, wenn du die erste Bewertung schreibst!
Eine Bewertung schreiben
Eine Bewertung schreiben
Andere Kunden interessierten sich für