First-Order Dynamic Logic

 Book
Besorgungstitel | Lieferzeit:3-5 Tage I

10,69 €*

Alle Preise inkl. MwSt. | zzgl. Versand
ISBN-13:
9783540092377
Einband:
Book
Erscheinungsdatum:
01.04.1979
Seiten:
148
Autor:
D. Harel
Gewicht:
234 g
Format:
235x155x8 mm
Sprache:
Englisch
Beschreibung:

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