Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

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

The Chemistry of the Actinide and Transactinide Elements (3rd ed., Volumes 1-5)

The Chemistry of the Actinide and Transactinide Elements (3rd ed., Volumes 1-5)

$1,589.00
Molecular-Genetic Mechanisms of Development

Molecular-Genetic Mechanisms of Development

$39.99
Unternehmen Zahnarztpraxis

Unternehmen Zahnarztpraxis

$44.99
Linear Systems, Signal Processing and Hypercomplex Analysis

Linear Systems, Signal Processing and Hypercomplex Analysis

$179.99
Pro Oracle Application Express 4

Pro Oracle Application Express 4

$54.99
Pink and Say

Pink and Say

$6.71
Diffusionsoffener Holzrahmenbau des Bio-Solar-Hauses

Diffusionsoffener Holzrahmenbau des Bio-Solar-Hauses

$54.99
Kant and the End of War

Kant and the End of War

$54.99
Evolventenverzahnung

Evolventenverzahnung

$59.99
Viruses in Human Gene Therapy

Viruses in Human Gene Therapy

$169.99
Services Computing  SCC 2023

Services Computing SCC 2023

$54.99
Computer Aided Selling im Pharma-Kundenmanagement

Computer Aided Selling im Pharma-Kundenmanagement

$59.99
Molecule  Protein Interactions

Molecule Protein Interactions

$84.99
Mathematik fr Ingenieure und Naturwissenschaftler - Klausur- und bungsaufgaben

Mathematik fr Ingenieure und Naturwissenschaftler - Klausur- und bungsaufgaben

$34.99
The Social Determinants of Health in India

The Social Determinants of Health in India

$109.99
Learn RStudio IDE

Learn RStudio IDE

$44.99
Klinische Angiologie

Klinische Angiologie

$84.99
Konstitution und Vorkommen der organischen Pflanzenstoffe (exclusive Alkaloide)

Konstitution und Vorkommen der organischen Pflanzenstoffe (exclusive Alkaloide)

$74.99
Aachener Bausachverstndigentage 2003

Aachener Bausachverstndigentage 2003

$59.99
Android for Work

Android for Work

$19.99
Complex Networks & Their Applications XII

Complex Networks & Their Applications XII

$219.99
Ethnographie - Pdagogik - Geschlecht

Ethnographie - Pdagogik - Geschlecht

$44.99
Konstruktionsbegleitende Kalkulation

Konstruktionsbegleitende Kalkulation

$44.99
Ein Verfahren zur Planung der Maschinenbelegung in einer Fertigungsstufe

Ein Verfahren zur Planung der Maschinenbelegung in einer Fertigungsstufe

$59.99
Ernhrung in Grenzsituationen

Ernhrung in Grenzsituationen

$9.99
Theoretical and Experimental Investigations of Hadronic Few-Body Systems

Theoretical and Experimental Investigations of Hadronic Few-Body Systems

$39.99
Monetre Modelle der Wechselkurserklrung

Monetre Modelle der Wechselkurserklrung

$49.99
The Neuropathology of Huntingtons Disease: Classical Findings, Recent Developments and Correlation

The Neuropathology of Huntingtons Disease: Classical Findings, Recent Developments and Correlation

$109.99
Policing Terrorism, Crime Control, and Police-Community Relations

Policing Terrorism, Crime Control, and Police-Community Relations

$54.99
Die Dampfmaschinenanlage des Drehstromwerkes der Stadt Hannover

Die Dampfmaschinenanlage des Drehstromwerkes der Stadt Hannover

$54.99
Offene Kinder- und Jugendarbeit im Kontext des Salafismus

Offene Kinder- und Jugendarbeit im Kontext des Salafismus

$79.99
The Plant Cell Wall

The Plant Cell Wall

$219.00
Dynamical Systems III

Dynamical Systems III

$74.99
Sustainable Development Research and Practice  in Mexico and Selected Latin American Countries

Sustainable Development Research and Practice in Mexico and Selected Latin American Countries

$129.00
Elements of Nonequilibrium Statistical Mechanics

Elements of Nonequilibrium Statistical Mechanics

$54.99
The Nature of Marketing

The Nature of Marketing

$39.99
Global Environmental Policies

Global Environmental Policies

$39.99
Mathematics and the Mind

Mathematics and the Mind

$39.99
New Directions for Catholic Social and Political Research

New Directions for Catholic Social and Political Research

$109.99
Automated Verification of Concurrent Search Structures

Automated Verification of Concurrent Search Structures

$59.99
previous
next