Alle Kategorien
Bücher
(Land-)Karten
Spielzeug
Kalender
Gesellschaftsspiele
Schreibwaren
Schule & Lernen
0,00 €*
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.
First-Order Dynamic Logic
Taschenbuch von D. Harel
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
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
Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9783827420923 | Agility kompakt | Tipps für erfolgreiche Systementwicklung | Buch
Agility kompakt
Tipps für erfolgreiche Systementwicklung
EAN: 9783827420923
Sprache: Deutsch
Von/Mit: Peter Hruschka (u. a.)

19,99 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9780470027103 | Fundamental Modeling Concepts | Effective Communication of It Systems
Fundamental Modeling Concepts
Effective Communication of It Systems
EAN: 9780470027103
Sprache: Englisch
Von/Mit: Andreas Knopfel (u. a.)

51,10 €*

Lieferzeit 2-3 Wochen

Buch
-11 %
Tipp
Cover: 9780387940946 | The Joy of Sets | Fundamentals of Contemporary Set Theory | Devlin | x
The Joy of Sets
Fundamentals of Contemporary Set Theory
EAN: 9780387940946
Sprache: Englisch
Von/Mit: Keith Devlin

53,45 €* UVP 59,87 €

Lieferzeit 1-2 Wochen

Taschenbuch
-13 %
Cover: 9783319238821 | A User's Guide to Network Analysis in R | Douglas Luke | Taschenbuch
A User's Guide to Network Analysis in R
EAN: 9783319238821
Sprache: Englisch
Von/Mit: Douglas Luke

69,75 €* UVP 80,24 €

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9783640827091 | IPv4 IPv6-Migration | Martin Schädler | Taschenbuch | 24 S. | Deutsch
IPv4 IPv6-Migration
EAN: 9783640827091
Sprache: Deutsch
Von/Mit: Martin Schädler

14,99 €*

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9781107565043 | Information Theory | Imre Csiszár (u. a.) | Taschenbuch | Englisch
Information Theory
EAN: 9781107565043
Sprache: Englisch
Von/Mit: Imre Csiszár (u. a.)

67,40 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781107458437 | Lectures on the Poisson Process | Günter Last (u. a.) | Taschenbuch
Lectures on the Poisson Process
EAN: 9781107458437
Sprache: Englisch
Von/Mit: Günter Last (u. a.)

50,60 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783661381015 | Informatik 5/6 Schülerband Mittelschule Bayern | Dossenbach (u. a.)
Informatik 5/6 Schülerband Mittelschule Bayern
EAN: 9783661381015
Sprache: Deutsch
Von/Mit: Matthias Dossenbach (u. a.)
Maße: 262 x 193 x 15 mm
Genre: Schule und Lernen

27,00 €*

Lieferzeit 1-2 Werktage

Taschenbuch
-12 %
Cover: 9783031580741 | Understanding Computer Organization | Patricio Buli¿ | Taschenbuch
Understanding Computer Organization
A Guide to Principles Across RISC-V, ARM Cortex, and Intel Architectures
EAN: 9783031580741
Sprache: Englisch
Von/Mit: Patricio Buli¿

46,95 €* UVP 53,49 €

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780262548717 | Moral Codes | Designing Alternatives to AI | Alan F. Blackwell | Buch
Moral Codes
Designing Alternatives to AI
EAN: 9780262548717
Sprache: Englisch
Von/Mit: Alan F. Blackwell

33,65 €*

Lieferzeit 1-2 Werktage

Buch
Cover: 9780262049191 | Veridical Data Science | Bin Yu (u. a.) | Buch | Englisch | 2024
Veridical Data Science
The Practice of Responsible Data Analysis and Decision Making
EAN: 9780262049191
Sprache: Englisch
Von/Mit: Bin Yu (u. a.)

93,70 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783964282743 | Transhumanismus | Nicolas Le Dévédec | Buch | 120 S. | Deutsch | 2025
Transhumanismus
EAN: 9783964282743
Sprache: Deutsch
Von/Mit: Nicolas Le Dévédec

18,00 €*

Lieferzeit 1-2 Werktage

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...