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

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.10.2012

Abbildungen

XIV, 427 p.

Verlag

Springer Us

Seitenzahl

427

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

668 g

Sprache

Englisch

ISBN

978-1-4612-6950-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.10.2012

Abbildungen

XIV, 427 p.

Verlag

Springer Us

Seitenzahl

427

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

668 g

Sprache

Englisch

ISBN

978-1-4612-6950-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

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.