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 courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 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: 20313 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 313 Ft

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

30-day return policy

Customers also purchased

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

Hardback

16 311 Ft

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

Hardback

6 521 Ft

violenza domestica e il ruolo dei medici del territorio Stefano Cartasegna

Paperback

6 258 Ft

PETIT CAMELOT UN ENSURT QUE DEIXA MUT CATDOOR

Book

2 903 Ft

Der George-Kreis und die Theosophie Jan Stottmeister

Hardback

14 346 Ft

Julia Donaldson Books in Spanish Julia Donaldson

Hardback

3 577 Ft

Les homosexuels font-ils encore peur ? Henry Chapier

Paperback

5 542 Ft

Exotismus und Globalisierung Gerlinde Klatte

Hardback

18 085 Ft

Gece Gibi Ayaz Sara Raasch

Paperback

8 121 Ft

Acoes afirmativas, educacao e relacoes raciais Rodrigo Ednilson de Jesus

Paperback

29 312 Ft

300 Fragen zum Netzmeister Sarastro Gmbh

Paperback

12 119 Ft

Quelque Chose Noir Jacques Roubaud

Paperback

3 795 Ft

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

Paperback

55 754 Ft

La Guerre Grammaticale Guarna-A

Paperback

7 386 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.