Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

Reachability Problems

7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings

Language EnglishEnglish
Book Paperback
Book Reachability Problems Parosh Aziz Abdulla
Libristo code: 02081953
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2013
This book constitutes the refereed proceedings of the 7th International Workshop on Reachability Pro... Full description
? points 115 b
47.48 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Das Reformwerk Johann Carl Bertram Stuves Jörn Ipsen / Book Hardback
common.buy 65.37 €
Boucle d'Or et les Trois Ours / Book Hardback
common.buy 7.87 €
Agentes medioambientales de la generalitat valenciana. Temario volumen ii EDITORIAL MAD / Book Hardback
common.buy 33.64 €
Slaget om Kantaskogen Veronica Dellfjord / Book Paperback
common.buy 13.33 €

This book constitutes the refereed proceedings of the 7th International Workshop on Reachability Problems, RP 2013, held in Uppsala, Sweden, in September 2013. The 19 revised papers (The 14 revised papers were carefully reviewed and selected from 24 submissions in addition to 5 invited talks) were carefully reviewed and selected from 24 submissions. Topics of interest include reachability for finite state systems; rewriting systems, reachability analysis in counter/timed/cellular/communicating automata; Petri-nets; computational aspects of semigroups, groups and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects, predictability in iterative maps and new computational paradigms.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Reachability Problems
Author Parosh Aziz Abdulla, Igor Potapov
Language English
Binding Book - Paperback
Date of issue 2013
Number of pages 223
EAN 9783642410352
ISBN 3642410359
Libristo code 02081953
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 454
Dimensions 155 x 235 x 15

Categories

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Second Opinion, a True Story... in Her Own Words How a Second Opinion Saved My Wife's Life from Third Stage Cancer JACK D. FORSBERG / Book Paperback
common.buy 13.63 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account