Gutscheinbedingungen

**Gültig bis 14.09.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher, nicht preisgebundene Bücher und Kalender in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Nur gültig mit im Onlineshop hinterlegter Bonuscard. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.

  • 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

51,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

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).