Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Reachability Problems

Name: Reachability Problems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01656508
Price: 20734 HUF
Availability: InStock
Author: Antonin Kucera
ISBN: 9783642153488

4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings

Antonin Kucera

Igor Potapov

Language

English

Book Paperback

Libristo code: 01656508

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2010

This book constitutes the research papers presented at the 4th International Workshop, RP 2010 held... Full description

Libristo code: 01656508

139 b

20 734 Ft

50 % chance We search the world When will I receive my book?

Up to 30 days for returns

Customers also purchased

Julia Donaldson Books in Spanish Julia Donaldson

Hardback

3 475 Ft

Blade : L'intégrale 1973-1975 (T01)

Hardback

16 603 Ft

Singapore Story Lee Kuan Yew E-book

Adobe ePub DRM

4 192 Ft

Der George-Kreis und die Theosophie Jan Stottmeister

Hardback

14 639 Ft

PETIT CAMELOT UN ENSURT QUE DEIXA MUT CATDOOR

Book

3 172 Ft

PEDAGO'PLAY : COFFRET ACTIVITÉS LANGAGIÈRES GS CHRISTINA

Paperback

12 411 Ft

violenza domestica e il ruolo dei medici del territorio Stefano Cartasegna

Paperback

6 302 Ft

Da vicino e da lontano. Il mondo visto con occhi diversi Mary Auld

Hardback

6 571 Ft

Les homosexuels font-ils encore peur ? Henry Chapier

Paperback

5 599 Ft

Exotismus und Globalisierung Gerlinde Klatte

Hardback

18 458 Ft

Gece Gibi Ayaz Sara Raasch

Paperback

8 294 Ft

Acoes afirmativas, educacao e relacoes raciais Rodrigo Ednilson de Jesus

Paperback

29 939 Ft

300 Fragen zum Netzmeister Sarastro Gmbh

Paperback

12 378 Ft

Quelque Chose Noir Jacques Roubaud

Paperback

3 800 Ft

Piece Of My Life Nero Scartch

Audio CD

3 890 Ft

Campbell. Principales procedimientos en cirugía ortopédica y traumatología CAMPBELL

Paperback

56 914 Ft

La Guerre Grammaticale Guarna-A

Paperback

7 544 Ft

This book constitutes the research papers presented at the 4th International Workshop, RP 2010 held in Brno, Czech Republic, August 28-29, 2010 and was co-located with Joint MFCS and CSL 2010 (35th International Symposiums on Mathematical Foundations of Computer Science and 19th EACSL Annual Conferences on Computer Science Logic). The revised 9 full papers and the 4 invited talks of this workshop reflect reachability problems that appear in algebraic structures, computational models, hybrid systems and verification. Reachability is a fundamental problem in the context of many models and abstractions which are describing various computational processes. Topics of interest include reachability problems in infinite state systems, rewriting systems, dynamical and hybrid systems, reachability problems in logic and verification, reachability analysis in different computational models, counter, timed, cellular, communicating automata, Petri-Nets, computational aspects of algebraic structures (semigroups, groups and rings), frontiers between decidable and undecidable reachability problems, predictability in iterative maps and new computational paradigms.