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-Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, productsafety@springernature.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

Taschenbuch

Cover: 9783540563549 | Berechenbarkeit | Rekursive und Programmierbare Funktionen | Felscher

Berechenbarkeit

Rekursive und Programmierbare Funktionen

EAN: 9783540563549

Sprache: Deutsch

Von/Mit: Walter Felscher

49,95 €

Lieferzeit 2-4 Werktage

Taschenbuch

Cover: 9783642630903 | Arithmetik | Aus der Reihe The Art of Computer Programming | Knuth

Aus der Reihe The Art of Computer Programming

EAN: 9783642630903

Sprache: Deutsch

Von/Mit: Donald E. Knuth

52,95 €

Lieferzeit 1-2 Werktage

Taschenbuch

Tipp

Cover: 9783642709845 | Mathematical Concepts in Organic Chemistry | Oskar E. Polansky (u. a.)

Mathematical Concepts in Organic Chemistry

EAN: 9783642709845

Sprache: Englisch

Von/Mit: Oskar E. Polansky (u. a.)

46,95 € UVP 53,49 €

Lieferzeit 2-4 Werktage

Taschenbuch

Cover: 9783528069773 | Analysis mit Mathematica und Maple | Walter Strampp | Taschenbuch | x

Analysis mit Mathematica und Maple

Repetitorium und Aufgaben mit Lösungen

EAN: 9783528069773

Von/Mit: Walter Strampp

37,99 €

Lieferzeit 2-4 Werktage

Taschenbuch

Cover: 9781484264546 | Practical Python Data Visualization | Ashwin Pajankar | Taschenbuch

Practical Python Data Visualization

A Fast Track Approach To Learning Data Visualization With Python

EAN: 9781484264546

Sprache: Englisch

Von/Mit: Ashwin Pajankar

51,95 € UVP 64,19 €

Lieferzeit 2-4 Werktage

Taschenbuch

Cover: 9781804618370 | Applying Math with Python - Second Edition | Sam Morley | Taschenbuch

Applying Math with Python - Second Edition

Over 70 practical recipes for solving real-world computational math problems

EAN: 9781804618370

Sprache: Englisch

Von/Mit: Sam Morley

61,95 €

Lieferzeit 1-2 Wochen

Buch

Cover: 9783031462375 | Applications of Generative AI | Zhihan Lyu | Buch | vii | Englisch

Applications of Generative AI

EAN: 9783031462375

Sprache: Englisch

Von/Mit: Zhihan Lyu

152,95 € UVP 181,89 €

Lieferzeit 1-2 Wochen

Buch

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

Taschenbuch

Cover: 9783031808739 | Gaussian Process Models for Quantitative Finance | Jimmy Risk (u. a.)

Gaussian Process Models for Quantitative Finance

EAN: 9783031808739

Sprache: Englisch

Von/Mit: Jimmy Risk (u. a.)

47,95 € UVP 53,49 €

Lieferzeit 1-2 Wochen