KI-Beratung Beta

  • Produktbild: Transactions on Petri Nets and Other Models of Concurrency X
  • Produktbild: Transactions on Petri Nets and Other Models of Concurrency X

Transactions on Petri Nets and Other Models of Concurrency X

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.12.2015

Abbildungen

XV, 177 p. 41 illus. in color.

Herausgeber

Maciej Koutny + weitere

Verlag

Springer Berlin

Seitenzahl

177

Maße (L/B/H)

23,5/15,5/1,1 cm

Gewicht

306 g

Auflage

1st ed. 2015

Sprache

Englisch

ISBN

978-3-662-48649-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.12.2015

Abbildungen

XV, 177 p. 41 illus. in color.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

177

Maße (L/B/H)

23,5/15,5/1,1 cm

Gewicht

306 g

Auflage

1st ed. 2015

Sprache

Englisch

ISBN

978-3-662-48649-8

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: Transactions on Petri Nets and Other Models of Concurrency X
  • Produktbild: Transactions on Petri Nets and Other Models of Concurrency X

  • Verification of Logs - Revealing Faulty Processes of a Medical Laboratory.- An Everlasting Secure Non-interactive Timestamping Scheme in the Bounded Storage Model.- Timed Aggregate Graph: Finite Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets.- SMT-based Abstract Parametric Temporal Planning.- Kleene Theorems for Synchronous Products with Matching.- Symbolic Model Checking of Security Protocols for Ad Hoc Networks on Any Topologies.- Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling.- Modelling and Analysis Mobile Systems Using π-Calculus (EFCP).