D. Harel: First-Order Dynamic Logic

Cover: 9783540092377 | First-Order Dynamic Logic | D. Harel | Taschenbuch | Paperback | XII

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

10,69 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

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

Inhaltsverzeichnis

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

Details

Erscheinungsjahr:	1979
Fachbereich:	EDV
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Thema:	Lexika
Medium:	Taschenbuch
Reihe:	Lecture Notes in Computer Science
Inhalt:	xii 136 S.
ISBN-13:	9783540092377
ISBN-10:	3540092374
Sprache:	Englisch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Harel, D.
Hersteller:	Springer-Verlag GmbH Springer Berlin Heidelberg Lecture Notes in Computer Science
Maße:	235 x 155 x 9 mm
Von/Mit:	D. Harel
Erscheinungsdatum:	01.04.1979
Gewicht:	0,236 kg

Artikel-ID: 101947190

Inhaltsverzeichnis

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

Details

Erscheinungsjahr:	1979
Fachbereich:	EDV
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Thema:	Lexika
Medium:	Taschenbuch
Reihe:	Lecture Notes in Computer Science
Inhalt:	xii 136 S.
ISBN-13:	9783540092377
ISBN-10:	3540092374
Sprache:	Englisch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Harel, D.
Hersteller:	Springer-Verlag GmbH Springer Berlin Heidelberg Lecture Notes in Computer Science
Maße:	235 x 155 x 9 mm
Von/Mit:	D. Harel
Erscheinungsdatum:	01.04.1979
Gewicht:	0,236 kg