D. Harel: First-Order Dynamic Logic | preigu

Cover: 9783540092377 | First-Order Dynamic Logic | D. Harel | Taschenbuch | Englisch | 1979

Rückseite: 9783540092377 | First-Order Dynamic Logic | D. Harel | Taschenbuch | Englisch | 1979

Cover: 9783540092377 | First-Order Dynamic Logic | D. Harel | Taschenbuch | Englisch | 1979

Rückseite: 9783540092377 | First-Order Dynamic Logic | D. Harel | Taschenbuch | Englisch | 1979

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

11,85 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-4 Werktage

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 , Mathematik , Medizin , Naturwissenschaften , Technik
Rubrik:	Naturwissenschaften & Technik
Thema:	Lexika
Medium:	Taschenbuch
Inhalt:	Einband - flex.(Paperback)
ISBN-13:	9783540092377
ISBN-10:	3540092374
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Harel, D.
Hersteller:	Springer-Verlag GmbH Springer Berlin Heidelberg
Verantwortliche Person für die EU:	Springer Heidelberg, Tiergartenstr. 17, D-69121 Heidelberg, buchhandel-buch@springer.com
Maße:	235 x 155 x 9 mm
Von/Mit:	D. Harel
Erscheinungsdatum:	01.04.1979
Gewicht:	0,236 kg

Artikel-ID: 101947190

Ähnliche Produkte

Buch

Cover: 9783110203165 | Approximative Algorithmen und Nichtapproximierbarkeit | Buch | XV

Approximative Algorithmen und Nichtapproximierbarkeit

EAN: 9783110203165

Sprache: Deutsch

Von/Mit: Marian Margraf (u. a.)

49,95 €*

Lieferzeit 1-2 Wochen

Buch

-16 %

Cover: 9780387249759 | Optimization Theory and Methods | Nonlinear Programming | Yuan (u. a.)

Optimization Theory and Methods

Nonlinear Programming

EAN: 9780387249759

Sprache: Englisch

Von/Mit: Ya-Xiang Yuan (u. a.)

160,95 €* UVP 192,59 €

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9783668233867 | IT-Sicherheit in Industrie 4.0. Eine literaturgestützte Analyse des...

IT-Sicherheit in Industrie 4.0. Eine literaturgestützte Analyse des aktuellen Sicherheitsniveaus

EAN: 9783668233867

Sprache: Deutsch

Von/Mit: Anonymous

27,95 €*

Lieferzeit 2-4 Werktage

Buch

-16 %

Cover: 9781493913831 | Handbook of Simulation Optimization | Michael C Fu | Buch | xvi | 2014

Handbook of Simulation Optimization

EAN: 9781493913831

Sprache: Englisch

Von/Mit: Michael C Fu

143,95 €* UVP 171,19 €

Lieferzeit 1-2 Wochen

Taschenbuch

-20 %

Cover: 9781484252802 | Practical MATLAB | With Modeling, Simulation, and Processing Projects

Practical MATLAB

With Modeling, Simulation, and Processing Projects

EAN: 9781484252802

Sprache: Englisch

Von/Mit: Irfan Turk

55,85 €* UVP 69,54 €

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9783428159635 | Digitalisierung und Künstliche Intelligenz | Detlef AufderHeide | Buch

Digitalisierung und Künstliche Intelligenz

Wirtschaftsethische und moralökonomische Perspektiven, Volkswirtschaftliche Schriften 574

EAN: 9783428159635

Sprache: Deutsch

Von/Mit: Detlef AufderHeide

74,90 €*

Lieferzeit 2-3 Wochen

Taschenbuch

-9 %

Cover: 9783030791100 | Microsimulation Population Projections with SAS | A Reference Guide

Microsimulation Population Projections with SAS

A Reference Guide

EAN: 9783030791100

Von/Mit: Samir Kc (u. a.)

29,20 €* UVP 32,09 €

Lieferzeit 2-4 Werktage

Buch

-16 %

Cover: 9783031285707 | Applied Calculus with R | Thomas J. Pfaff | Buch | xiv | Englisch

Applied Calculus with R

EAN: 9783031285707

Sprache: Englisch

Von/Mit: Thomas J. Pfaff

72,25 €* UVP 85,59 €

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9798223071914 | Google Certified Professional Cloud Architect A Practical Study...

Google Certified Professional Cloud Architect A Practical Study Guide to Master the GCP Exam

EAN: 9798223071914

Sprache: Englisch

Von/Mit: Jamie Murphy

36,10 €*

Lieferzeit 1-2 Wochen

Buch

-16 %

Cover: 9783031731426 | Handbook on Natural Language Processing for Requirements Engineering

Handbook on Natural Language Processing for Requirements Engineering

EAN: 9783031731426

Sprache: Englisch

Von/Mit: Gouri Ginde (u. a.)

178,95 €* UVP 213,99 €

Lieferzeit 1-2 Wochen