Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Reachability Problems

Name: Reachability Problems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01662166
Price: 1088 CZK
Availability: InStock
Author: Alain Finkel
ISBN: 9783642335112

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

Alain Finkel

Jerome Leroux

Igor Potapov

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01662166

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, srpen 2012

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

Libristo kód: 01662166

109 b

1 088 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Wirtschaftsordnung der Tschechischen Republik Florian Lieb

Brožovaná

1 502 Kč

Der Geldkreislauf. Claus Köhler

Brožovaná

1 168 Kč

MARCO POLO Cityplan Prag 1:12.000

Mapa

195 Kč

Tempus Perfectum n° 17 : À table ! COMET

Brožovaná

472 Kč

Citroën Jumpy, Peugeot Expert - moteurs Diesel et turbo Diesel ETAI Kniha

binding.

1 232 Kč

LA VERDADERA MANCHA DE CERVANTES CESAR BRANDARIZ

Brožovaná

574 Kč

SANGUIJUELAS (vol.2) IMAI

Brožovaná

317 Kč

Linguaggi dell'esperienza femminile. Disturbi alimentari, donne e scrittura dall'Unità al miracolo economico Francesca Calamita

Brožovaná

639 Kč

Etat Des Communautes Rurales Du Menil Et de Demrupt, A La Veille de la Revolution de 1789 DUPAYS

Brožovaná

336 Kč

Politische Strategien nationaler Minderheiten in der Zwischenkriegszeit Mathias Beer

Pevná

1 321 Kč

Selbstbiographie Johann Ch Edelmann

Pevná

1 385 Kč

Contre Visite Marie Didier

Brožovaná

278 Kč

Van Gogh Ingo F. Walther

Pevná

309 Kč

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.