Reachability Problems

Name: Reachability Problems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642335112
Price: 17858 HUF
Availability: InStock

6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings

Szerző: Alain Finkel, Jerome Leroux, Igor Potapov

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

17 858 Ft

This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Pro...

Információk a könyvről

Szerző

Alain Finkel, Jerome Leroux, Igor Potapov

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2012

oldal

149

EAN

9783642335112

ISBN

364233511X

Enbook ID

01662166

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

258

Méretek

155 x 235 x 10

Teljes leírás

This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in Bordeaux, France, in September, 2012. The 8 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 15 submissions. The papers present current research and original contributions related to reachability problems in different computational models and systems such as algebraic structures, computational models, hybrid systems, logic and verification. Reachability is a fundamental problem that appears in several different contexts: finite- and infinite-state concurrent systems, computational models like cellular automata and Petri nets, decision procedures for classical, modal and temporal logic, program analysis, discrete and continuous systems, time critical systems, and open systems modeled as games.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Reachability Problems

6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták