Zum Hauptinhalt springen
Dekorationsartikel gehören nicht zum Leistungsumfang.
First-Order Dynamic Logic
Taschenbuch von D. Harel
Sprache: Englisch

10,69 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
I: Binary-relation semantics.- II: Computation-tree semantics.
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
Artikel-ID: 101947190
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte