Reachability Problems : 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings

Bournez, Olivier (EDT); Potapov, Igor (EDT)

ISBN 10: 3642044190 ISBN 13: 9783642044199
Published by Springer, 2009
Used Soft cover

From GreatBookPrices, Columbia, MD, U.S.A. Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

AbeBooks Seller since April 6, 2009

This specific item is no longer available.

About this Item

Description:

Unread book in perfect condition. Seller Inventory # 7349679

Report this item

Synopsis:

This book constitutes the research papers presented at the 3rd International Workshop, RP 2009 held in Palaiseau, France, September 23-25, 2009. The 20 full papers 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 and predictability in iterative maps and new computational paradigms.

From the Back Cover:

This book constitutes the research papers presented at the 3rd International Workshop, RP 2009 held in Palaiseau, France, September 23-25, 2009.

The 20 full papers 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 and predictability in iterative maps and new computational paradigms.

 

"About this title" may belong to another edition of this title.

Bibliographic Details

Title: Reachability Problems : 3rd International ...
Publisher: Springer
Publication Date: 2009
Binding: Soft cover
Condition: As New

Top Search Results from the AbeBooks Marketplace

Stock Image

Unbekannt
Published by Springer, 2009
ISBN 10: 3642044190 ISBN 13: 9783642044199
Used Softcover

Seller: Buchpark, Trebbin, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | This book constitutes the research papers presented at the 3rd International Workshop, RP 2009 held in Palaiseau, France, September 23-25, 2009. The 20 full papers 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 and predictability in iterative maps and new computational paradigms. Seller Inventory # 5676013/12

Contact seller

Buy Used

US$ 36.31
US$ 119.49 shipping
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket

Seller Image

Bournez, Olivier:
Published by Springer 07.09.2009., 2009
ISBN 10: 3642044190 ISBN 13: 9783642044199
Used Softcover

Seller: NEPO UG, Rüsselsheim am Main, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Sehr gut. Auflage: 2009. 244 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 383 23,9 x 15,5 x 1,8 cm, Taschenbuch. Seller Inventory # 388197

Contact seller

Buy Used

US$ 43.21
US$ 27.31 shipping
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket

Seller Image

Bournez, Olivier:
Published by Springer 07.09.2009., 2009
ISBN 10: 3642044190 ISBN 13: 9783642044199
Used Softcover

Seller: NEPO UG, Rüsselsheim am Main, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Sehr gut. Auflage: 2009. 244 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 383 23,9 x 15,5 x 1,8 cm, Taschenbuch. Seller Inventory # 388092

Contact seller

Buy Used

US$ 43.21
US$ 27.31 shipping
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket

Seller Image

Bournez, Olivier|Potapov, Igor
Published by Springer Berlin Heidelberg, 2009
ISBN 10: 3642044190 ISBN 13: 9783642044199
New Softcover
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the research papers presented at the 3rd International Workshop, RP 2009 held in Palaiseau, France, September 23-25, 2009. The 20 full papers of this workshop reflect reachability problems that appear in algebraic structures, computati. Seller Inventory # 5044308

Contact seller

Buy New

US$ 56.69
US$ 55.75 shipping
Ships from Germany to U.S.A.

Quantity: Over 20 available

Add to basket

Seller Image

Olivier Bournez (u. a.)
Published by Springer, 2009
ISBN 10: 3642044190 ISBN 13: 9783642044199
New Taschenbuch

Seller: preigu, Osnabrück, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Reachability Problems | Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings | Olivier Bournez (u. a.) | Taschenbuch | x | Englisch | 2009 | Springer | EAN 9783642044199 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 101497866

Contact seller

Buy New

US$ 59.02
US$ 79.66 shipping
Ships from Germany to U.S.A.

Quantity: 5 available

Add to basket

Seller Image

Igor Potapov
ISBN 10: 3642044190 ISBN 13: 9783642044199
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the research papers presented at the 3rd International Workshop, RP 2009 held in Palaiseau, France, September 23-25, 2009. The 20 full papers 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 and predictability in iterative maps and new computational paradigms. 244 pp. Englisch. Seller Inventory # 9783642044199

Contact seller

Buy New

US$ 62.69
US$ 26.17 shipping
Ships from Germany to U.S.A.

Quantity: 2 available

Add to basket

Seller Image

Olivier Bournez
Published by Springer, Springer Spektrum, 2009
ISBN 10: 3642044190 ISBN 13: 9783642044199
New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the research papers presented at the 3rd International Workshop, RP 2009 held in Palaiseau, France, September 23-25, 2009. The 20 full papers 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 and predictability in iterative maps and new computational paradigms. Seller Inventory # 9783642044199

Contact seller

Buy New

US$ 62.69
US$ 70.42 shipping
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket

Seller Image

Olivier Bournez
Published by Springer, Springer Sep 2009, 2009
ISBN 10: 3642044190 ISBN 13: 9783642044199
New Taschenbuch
Print on Demand

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the research papers presented at the 3rd International Workshop, RP 2009 held in Palaiseau, France, September 23-25, 2009. The 20 full papers 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 and predictability in iterative maps and new computational paradigms.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 244 pp. Englisch. Seller Inventory # 9783642044199

Contact seller

Buy New

US$ 62.69
US$ 68.28 shipping
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 2009
ISBN 10: 3642044190 ISBN 13: 9783642044199
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783642044199_new

Contact seller

Buy New

US$ 69.06
US$ 15.81 shipping
Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2009
ISBN 10: 3642044190 ISBN 13: 9783642044199
New Softcover
Print on Demand

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. Print on Demand pp. 244 Illus. Seller Inventory # 6504689

Contact seller

Buy New

US$ 87.56
US$ 8.58 shipping
Ships from United Kingdom to U.S.A.

Quantity: 4 available

Add to basket

There are 3 more copies of this book

View all search results for this book