Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Reachability Problems

10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
BuchKartoniert, Paperback
193 Seiten
Englisch
Springererschienen am13.09.20161st ed. 2016
This book constitutes the refereed proceedings of the 10th International Workshop on Reachability Problems, RP 2016, held in Aalborg, Denmark, in September 2016. The papers cover a range of topics in the field of reachability for infinite state systems;mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR53,49
E-BookPDF1 - PDF WatermarkE-Book
EUR53,49

Produkt

KlappentextThis book constitutes the refereed proceedings of the 10th International Workshop on Reachability Problems, RP 2016, held in Aalborg, Denmark, in September 2016. The papers cover a range of topics in the field of reachability for infinite state systems;
Details
ISBN/GTIN978-3-319-45993-6
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2016
Erscheinungsdatum13.09.2016
Auflage1st ed. 2016
ReiheTheoretical Computer Science and General Issues
Seiten193 Seiten
SpracheEnglisch
Gewicht324 g
IllustrationenXIV, 193 p. 38 illus.
Artikel-Nr.15668418

Inhalt/Kritik

Inhaltsverzeichnis
The Ideal Theory for WSTS.- Rare events for Statistical Model Checking.- On the Complexity of Resource-Bounded Logics.- Plain, Bounded, Reversible, Persistent, and k-marked Petri Nets have Marked Graph Reachability Graphs.- Reachability Predicates for Graph Assertions.- Occam's Razor Applied to the Petri Net Coverability Problem.- Safety Property-driven Stubborn Sets.- Characterizing Word Problems of Groups.- Distributed Synthesis of State-Dependent Switching Control.- Compositional Analysis of Boolean Networks Using Local Fixed-point Iterations.- Decidable Models of Integer-manipulating Programs with Recursive Parallelism.- Robot Games with States in Dimension One.- Insertion-deletion Systems over Relational Words.mehr

Schlagworte