KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Reachability Problems
  • Produktbild: Reachability Problems
Band 5797

Reachability Problems Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.09.2009

Abbildungen

X, 233 p.

Herausgeber

Olivier Bournez + weitere

Verlag

Springer Berlin

Seitenzahl

233

Maße (L/B/H)

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

Gewicht

376 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-04419-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.09.2009

Abbildungen

X, 233 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

233

Maße (L/B/H)

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

Gewicht

376 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-04419-9

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 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: Reachability Problems
  • Produktbild: Reachability Problems
  • On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems.- Formalisms for Specifying Markovian Population Models.- Reachability for Continuous and Hybrid Systems.- Algorithmic Information Theory and Foundations of Probability.- Model Checking as A Reachability Problem.- Automatic Verification of Directory-Based Consistency Protocols.- On Yen’s Path Logic for Petri Nets.- Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates.- How to Tackle Integer Weighted Automata Positivity.- A Reduction Theorem for the Verification of Round-Based Distributed Algorithms.- Computable CTL * for Discrete-Time and Continuous-Space Dynamic Systems.- An Undecidable Permutation of the Natural Numbers.- Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order.- Counting Multiplicity over Infinite Alphabets.- The Periodic Domino Problem Is Undecidable in the Hyperbolic Plane.- Games with Opacity Condition.- Abstract Counterexamples for Non-disjunctive Abstractions.- Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems.- Games on Higher Order Multi-stack Pushdown Systems.- Limit Set Reachability in Asynchronous Graph Dynamical Systems.