Breaking News!
Up to 30% Off Nike Footwear

Reachability Problems

Best Price (Coupon Required):
Buy Reachability Problems for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
$39.99 $39.99

10% OFF
This deals requires coupon
$36.00
See Site In stock Visit Store

Product Details

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783642335129
Condition
New
Product Description

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.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Magnetic Resonance Imaging of Carcinoma of the Urinary Bladder

Magnetic Resonance Imaging of Carcinoma of the Urinary Bladder

$39.99
Corporate Approaches to Sustainable Development

Corporate Approaches to Sustainable Development

$169.99
Semi-Riemannian Maps and Their Applications

Semi-Riemannian Maps and Their Applications

$109.99
Application of the SWAT Model for Water Components Separation in Iran

Application of the SWAT Model for Water Components Separation in Iran

$109.99
The Ethology and Ethics of Farm Animal Production

The Ethology and Ethics of Farm Animal Production

$49.99
Biocybernetics and Biomedical Engineering  Current Trends and Challenges

Biocybernetics and Biomedical Engineering Current Trends and Challenges

$199.99
The Death Caf Movement

The Death Caf Movement

$119.99
Pediatric Surgery [Set]

Pediatric Surgery [Set]

$1,100.00
Module Theory

Module Theory

$84.99
Psychodynamik und Psychotherapie lterer

Psychodynamik und Psychotherapie lterer

$69.99
Radiowave Propagation Over Ground

Radiowave Propagation Over Ground

$219.99
Security of Natural Gas Supply through Transit Countries

Security of Natural Gas Supply through Transit Countries

$84.99
Autonomie der Kunst?

Autonomie der Kunst?

$59.99
Industrie 4.0

Industrie 4.0

$99.99
International RILEM Conference on Early-Age and Long-Term Cracking in RC Structures

International RILEM Conference on Early-Age and Long-Term Cracking in RC Structures

$219.99
Principles and Practice of Constraint Programming - CP 2009

Principles and Practice of Constraint Programming - CP 2009

$109.99
Nonlinear Diffusion Equations and Their Equilibrium States, 3

Nonlinear Diffusion Equations and Their Equilibrium States, 3

$169.99
Aufbau und Arbeitsweise von Rechenanlagen

Aufbau und Arbeitsweise von Rechenanlagen

$49.99
Introduction to Calculus and Classical Analysis

Introduction to Calculus and Classical Analysis

$59.99
Bioinformatics in Cancer and Cancer Therapy

Bioinformatics in Cancer and Cancer Therapy

$219.99
Kasuistischer Beitrag zur pathologischen Anatomie der symmetrischen Linsenkernerweichung bei CO-Verg

Kasuistischer Beitrag zur pathologischen Anatomie der symmetrischen Linsenkernerweichung bei CO-Verg

$59.99
Event-Resource-Management mit digitalen Tools

Event-Resource-Management mit digitalen Tools

$34.99
Oncofertility Medical Practice

Oncofertility Medical Practice

$169.99
Functions of the Natural Immune System

Functions of the Natural Immune System

$39.99
Visual Saliency: From Pixel-Level to Object-Level Analysis

Visual Saliency: From Pixel-Level to Object-Level Analysis

$39.99
Eoznkorallen aus sterreich

Eoznkorallen aus sterreich

$59.99
Sinn und Funktion des Mythos in der griechischen und der rmischen Dichtung

Sinn und Funktion des Mythos in der griechischen und der rmischen Dichtung

$54.99
Chemical Equilibrium

Chemical Equilibrium

$39.99
Adaptive Semantics Visualization

Adaptive Semantics Visualization

$129.00
From Gestalt Theory to Image Analysis

From Gestalt Theory to Image Analysis

$54.99
Computational Neuroscience Models of the Basal Ganglia

Computational Neuroscience Models of the Basal Ganglia

$169.99
F Fluorine

F Fluorine

$99.00
Applications of Optimal Transport to Economics and Related Topics

Applications of Optimal Transport to Economics and Related Topics

$219.00
Der Franchisevertrag

Der Franchisevertrag

$44.99
Unleashing The Power of ChatGPT

Unleashing The Power of ChatGPT

$29.99
Technische Mechanik

Technische Mechanik

$59.99
Variationen ber ein zahlentheoretisches Thema von Carl Friedrich Gauss

Variationen ber ein zahlentheoretisches Thema von Carl Friedrich Gauss

$54.99
Islamic Law in Malaysia

Islamic Law in Malaysia

$179.99
PIP Joint Fracture Dislocations

PIP Joint Fracture Dislocations

$54.99
Forschungsmethoden in Psychologie und Sozialwissenschaften fr Bachelor

Forschungsmethoden in Psychologie und Sozialwissenschaften fr Bachelor

$29.95
previous
next