Willkommen, schön sind Sie da!
Logo Ex Libris

Reachability Problems

  • E-Book (pdf)
  • 179 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the 9th International Workshop on Reachability Problems, RP 2015, held in Warsa... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.
CHF 47.50
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the refereed proceedings of the 9th International Workshop on Reachability Problems, RP 2015, held in Warsaw, Poland, in September 2015. The 14 papers presented together with 6 extended abstracts in this volume were carefully reviewed and selected from 23 submissions. The papers cover a range of topics in the field of reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps and new computational paradigms.

Produktinformationen

Titel: Reachability Problems
Untertitel: 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings
Editor:
EAN: 9783319245379
Digitaler Kopierschutz: Wasserzeichen
Format: E-Book (pdf)
Hersteller: Springer International Publishing
Genre: IT & Internet
Anzahl Seiten: 179
Veröffentlichung: 12.10.2015
Dateigrösse: 3.8 MB

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"