KI-Beratung Beta

Gutscheinbedingungen

**Gültig vom 02.11.2026 bis 04.11.2026 | Gültig für nicht preisgebundene fremdsprachige Bücher | Einzelne Artikel können ausgeschlossen sein | Online auf www.bücher.de einlösbar | Click & Collect nur mit Online-Zahlung (Paypal/Kreditkarte) vorab | Nicht kombinierbar mit anderen Gutscheinen oder Preisaktionen | Nur einmal pro Einkauf einlösbar | Gutschein wird auf max. 500€ Bestellwert angerechnet | Keine Barauszahlung | Nicht gültig für Versandkosten und Services

  • Produktbild: Transactions on Petri Nets and Other Models of Concurrency I
  • Produktbild: Transactions on Petri Nets and Other Models of Concurrency I
Band 5100

Transactions on Petri Nets and Other Models of Concurrency I

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.12.2008

Abbildungen

XVIII, 251 p.

Herausgeber

Wil M. P. van der Aalst + weitere

Verlag

Springer Berlin

Seitenzahl

251

Maße (L/B/H)

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

Gewicht

417 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-89286-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.12.2008

Abbildungen

XVIII, 251 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

251

Maße (L/B/H)

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

Gewicht

417 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-89286-1

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 I
  • Produktbild: Transactions on Petri Nets and Other Models of Concurrency I
  • Constructive Alignment for Teaching Model-Based Design for Concurrency.- Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets.- Teaching Concurrency Concepts to Freshmen.- TAPAs: A Tool for the Analysis of Process Algebras.- Translating Message Sequence Charts to other Process Languages Using Process Mining.- Net Components for the Integration of Process Mining into Agent-Oriented Software Engineering.- Time Recursive Petri Nets.- Designing Case Handling Systems.- Model Driven Testing Based on Test History.- Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization.- Directed Unfolding of Petri Nets.- McMillan’s Complete Prefix for Contextual Nets.- Elasticity and Petri Nets.