First-Order Dynamic Logic
(Sprache: Englisch)
I: Binary-relation semantics.- II: Computation-tree semantics.
Leider schon ausverkauft
versandkostenfrei
Buch
10.69 €
Produktdetails
Produktinformationen zu „First-Order Dynamic Logic “
Klappentext zu „First-Order Dynamic Logic “
I: Binary-relation semantics.- II: Computation-tree semantics.
Inhaltsverzeichnis zu „First-Order Dynamic Logic “
I: Binary-relation semantics.- II: Computation-tree semantics.
Autoren-Porträt von David Harel
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.
Bibliographische Angaben
- Autor: David Harel
- 1979, 1979, 148 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Verlag: Springer, Berlin
- ISBN-10: 3540092374
- ISBN-13: 9783540092377
- Erscheinungsdatum: 01.04.1979
Sprache:
Englisch
Kommentar zu "First-Order Dynamic Logic"
0 Gebrauchte Artikel zu „First-Order Dynamic Logic“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "First-Order Dynamic Logic".
Kommentar verfassen