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

11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings
BuchKartoniert, Paperback
193 Seiten
Englisch
Springererschienen am25.08.20171st ed. 2017
This book constitutes the refereed proceedings of the 11th International Workshop on Reachability Problems, RP 2017, held in London, UK, in September 2017.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR53,49
E-BookPDF1 - PDF WatermarkE-Book
EUR53,49

Produkt

KlappentextThis book constitutes the refereed proceedings of the 11th International Workshop on Reachability Problems, RP 2017, held in London, UK, in September 2017.
Details
ISBN/GTIN978-3-319-67088-1
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2017
Erscheinungsdatum25.08.2017
Auflage1st ed. 2017
ReiheTheoretical Computer Science and General Issues
Seiten193 Seiten
SpracheEnglisch
Gewicht330 g
IllustrationenXV, 193 p. 34 illus.
Artikel-Nr.43762238

Inhalt/Kritik

Inhaltsverzeichnis
Reachability problems in infinite state systems.- rewriting systems.- dynamical and hybrid systems.- reachability problems in logic and verification.- eachability analysis in different computational models.-  Petri-Nets.- Computational aspects of algebraic structures.mehr

Schlagworte