KI-Beratung Beta

  • Produktbild: The Temporal Logic of Reactive and Concurrent Systems
  • Produktbild: The Temporal Logic of Reactive and Concurrent Systems

The Temporal Logic of Reactive and Concurrent Systems Specification

117,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

18.12.1991

Abbildungen

XIV, 427 p.

Verlag

Springer Us

Seitenzahl

427

Maße (L/B/H)

24,1/16/3 cm

Gewicht

779 g

Auflage

1992

Sprache

Englisch

ISBN

978-0-387-97664-8

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

18.12.1991

Abbildungen

XIV, 427 p.

Verlag

Springer Us

Seitenzahl

427

Maße (L/B/H)

24,1/16/3 cm

Gewicht

779 g

Auflage

1992

Sprache

Englisch

ISBN

978-0-387-97664-8

Herstelleradresse

Springer-Verlag GmbH
Europaplatz 3
69115 Heidelberg
DE

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: The Temporal Logic of Reactive and Concurrent Systems
  • Produktbild: The Temporal Logic of Reactive and Concurrent Systems
  • I: Models of Concurrency.- 1: Basic Models.- 2: Modeling Real Concurrency.- II: Specifications.- 3: Temporal Logic.- 4: Properties of Programs.- References.- Index to Symbols.- General Index.