Wir verwenden Cookies. Viele sind notwendig, um unsere Webseite und ihre Funktionen zu betreiben. Andere erlauben uns statistische Auswertungen vorzunehmen, die uns helfen die Webseite zu verbessern. Marketing-Cookies verwenden wir nicht. Mit der Entscheidung »Nur essentielle Cookies akzeptieren« werden wir keine Cookies setzen, die für den Betrieb der Seite nicht absolut notwendig sind.

Essenzielle

Statistik & Marketing

Alle akzeptieren

Nur essentielle Cookies akzeptieren

Individuelle Cookie-Einstellungen

GDPR legal Cookie by beeclever

✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 362.450 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Search our store

First-Order Dynamic Logic

First-Order Dynamic Logic

von D. Harel

Softcover - 9783540092377

10,69 €

Versandkostenfrei

Auf meine Merkliste

Hinweis: Print on Demand. Lieferbar in 2 Tagen.

Lieferzeit nach Versand: ca. 1-2 Tage
inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

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

Details

Verlag	Springer Berlin
Ersterscheinung	01. April 1979
Maße	23.5 cm x 15.5 cm
Gewicht	236 Gramm
Format	Softcover
ISBN-13	9783540092377
Seiten	136

Schlagwörter

Computer Science, Informatik

Herstellerinformationen +