Reachability Problems - Taschenbuch

2010, ISBN: 9783642153488

[ED: Softcover], [PU: Springer, Berlin], This volume contains the papers presented at the 4th International Workshop on Reachability Problems, RP 2010 held during August 28 29, 2010 in th… Mehr…

[ED: Softcover], [PU: Springer, Berlin], This volume contains the papers presented at the 4th International Workshop on Reachability Problems, RP 2010 held during August 28 29, 2010 in the F- ulty of Informatics, Masaryk University, Brno, Czech Republic and co-located with Joint MFCS and CSL 2010 (35th InternationalSymposiums on Mathem- ical Foundations of Computer Science and 19th EACSL Annual Conferences on Computer Science Logic). RP 2010 was the fourth in the series of workshops following three successful meetings at Ecole Polytechnique, France in 2009 at University of Liverpool, UK in 2008 and at Turku University, Finland in 2007. TheReachabilityProblemsworkshopsseriesaimsatgatheringtogethersch- ars from diverse disciplines and backgrounds interested in reachability problems that appearin algebraicstructures,computationalmodels, hybridsystems, logic and veri?cation, etc. Reachability is a fundamental problem in the context of many models and abstractions which describe various computational processes. Analysisofthecomputationaltracesandpredictabilityquestionsforsuchmodels can be formalized as a set of di?erent reachability problems. In general, reac- bility can be formulated as follows: Given a computational system with a set of allowed transformations (functions), decide whether a certain state of a system is reachable from a given initial state by a set of allowed transformations. The same questions can be asked not only about reachability of exact states of the system but also about a set of states expressed in terms of some property as a parameterized reachability problem. Another set of predictability questions can be seen in terms of reachability of eligible traces of computations,unavoidability ofsomedynamicsandapossibilitytoavoidundesirabledynamicsusingalimited control. 2010. x, 199 S. 42 SW-Abb. Sofort lieferbar, DE, [SC: 0.00], Neuware, gewerbliches Angebot, Offene Rechnung (Vorkasse vorbehalten)<

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00)

2010, ISBN: 3642153488

Kartoniert / Broschiert Algorithmus, EDV / Theorie / Software-Entw. / Software Engineering, Mathematik, Programmiersprachen, Betriebssystem (EDV), Operating System, Compiler, Übersetzer … Mehr…

Kartoniert / Broschiert Algorithmus, EDV / Theorie / Software-Entw. / Software Engineering, Mathematik, Programmiersprachen, Betriebssystem (EDV), Operating System, Compiler, Übersetzer (EDV), Mathematik / Informatik, Computer, Betriebssysteme, Programmier- und Skriptsprachen, allgemein, Software Engineering, Theoretische Informatik, Rechnerarchitektur und Logik-Entwurf, Algorithmen und Datenstrukturen, Mathematik und Naturwissenschaften, mit Schutzumschlag neu, [PU:Springer-Verlag GmbH; Springer Berlin]<

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00)

2010

ISBN: 9783642153488

Springer, Taschenbuch, Auflage: 2010, 209 Seiten, Publiziert: 2010-08-18T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: 31073454, 0.7 kg, Hardware & Technik, Computer & Internet, Kategor… Mehr…

Springer, Taschenbuch, Auflage: 2010, 209 Seiten, Publiziert: 2010-08-18T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: 31073454, 0.7 kg, Hardware & Technik, Computer & Internet, Kategorien, Bücher, Informatik, IT-Ausbildung & -Berufe, Softwareentwicklung, Programmierung & Webdesign, Betriebssysteme, Fachbücher, Mathematik, Naturwissenschaften & Technik, Kucera, Antonin, Potapov, Igor, Springer, 2010<

Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)

2010, ISBN: 3642153488

[EAN: 9783642153488], Neubuch, [PU: Springer, Berlin], ALGORITHMUS EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING MATHEMATIK PROGRAMMIERSPRACHEN BETRIEBSSYSTEM (EDV) OPERATING SYSTEM COM… Mehr…

[EAN: 9783642153488], Neubuch, [PU: Springer, Berlin], ALGORITHMUS EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING MATHEMATIK PROGRAMMIERSPRACHEN BETRIEBSSYSTEM (EDV) OPERATING SYSTEM COMPILER ÜBERSETZER INFORMATIK, COMPUTER INFORMATIK INFINITE STATE SYSTEMS SY FINITE MACHINES COMPL, This volume contains the papers presented at the 4th International Workshop on Reachability Problems, RP 2010 held during August 28 29, 2010 in the F- ulty of I, Books<

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00)