
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 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)
booklooker.de buecher.de GmbH & Co. KG Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings - neues Buch
2010, ISBN: 3642153488
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]
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |

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, Kategorien, Bücher, Informatik, IT-Ausbildung & -Berufe, Softwareentwicklung, Programmierung & Webdesign, Betriebssysteme, Fachbücher, Mathematik, Naturwissenschaften & Technik, Kucera, Antonin, Potapov, Igor, Springer, 2010
amazon.de ausverkauf Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |

2010, ISBN: 3642153488
[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
AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 3 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |

Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings (Lecture Notes in Computer Science) - neues Buch
2010, ISBN: 9783642153488
2010-12-23. New. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May be re-issue. Buy with confidence, excellent customer service!, 2010-12-23, 6
Biblio.co.uk |


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…
Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00)
Kucera, Antonin (Herausgeber); Potapov, Igor (Herausgeber):
Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings - neues Buch2010, ISBN: 3642153488
Kartoniert / Broschiert Algorithmus, EDV / Theorie / Software-Entw. / Software Engineering, Mathematik, Programmiersprachen, Betriebssystem (EDV), Operating System, Compiler, Übersetzer … Mehr…
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…
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…
NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00)
Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings (Lecture Notes in Computer Science) - neues Buch
2010, ISBN: 9783642153488
2010-12-23. New. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May be re-issue. Buy with confidence, excellent customer service!, 2010-12-23, 6
Versandkosten: EUR 51.07
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings (Lecture Notes in Computer Science (6227), Band 6227)
EAN (ISBN-13): 9783642153488
ISBN (ISBN-10): 3642153488
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Kucera, Antonin, Potapov, Igor, Springer
197 Seiten
Gewicht: 0,202 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-02-14T20:18:07+01:00 (Vienna)
Detailseite zuletzt geändert am 2021-04-05T00:09:51+02:00 (Vienna)
ISBN/EAN: 9783642153488
ISBN - alternative Schreibweisen:
3-642-15348-8, 978-3-642-15348-8
< zum Archiv...