Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Reachability Problems

Name: Reachability Problems
Brand: Springer Nature Switzerland AG
SKU: 24519892
Price: 48.79 EUR
Availability: InStock
Author: Emmanuel Filiot
ISBN: 9783030308056

13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, Proceedings

Emmanuel Filiot

Raphaël Jungers

Igor Potapov

Língua

Inglês

Livro Capa mole

Código Libristo: 24519892

Editoras Springer Nature Switzerland AG, setembro 2019

This book constitutes the refereed proceedings of the 13th International Conference on Reachability... Descrição completa

Código Libristo: 24519892

118 b

48.79 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

La Bijouterie Francaise Au Xixe Siecle 1800-1900 VEVER-H

Capa mole

30.00 €

Sackjeseech Roland Pecher

Jogo

7.97 €

Todo lo que ganamos cuando lo perdimos todo EDUARDO VERDU

Capa mole

17.17 €

MITB Mastering in the box MARCO MASSIMI

Capa mole

43.03 €

Ben Sultan Abdülhamid Han Halil Bezmen

Capa mole

15.25 €

SCODEL 85 VERSIONS LATINES MAITRE Jean Cousteix

Capa mole

6.56 €

Géographie des pas Barromé

Capa mole

17.87 €

This book constitutes the refereed proceedings of the 13th International Conference on Reachability Problems, RP 2019, held in Brussels, Belgium, in September 2019. The 14 full papers presented were carefully reviewed and selected from 26 submissions. The papers cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps; and new computational paradigms.