Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 7.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Reachability Problems

Name: Reachability Problems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01658950
Price: 68.89 EUR
Availability: InStock
Author: Giorgio Delzanno
ISBN: 9783642242878

5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011, Proceedings

Giorgio Delzanno

Igor Potapov

Lingua

Inglese

Libro In brossura

Codice Libristo: 01658950

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, settembre 2011

This book constitutes the refereed proceedings of the 5th International Workshop on Reachability Pro... Descrizione completa

Codice Libristo: 01658950

169 b

68.89 €

Magazzino esterno Inviamo tra 10-18 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Hohe Schein Ludwig Ganghofer

In brossura

12.19 €

Mensch sein - Gott feiern. Werktage im Jahreskreis 2 Werner Eizinger

Rigido

22.19 €

This book constitutes the refereed proceedings of the 5th International Workshop on Reachability Problems, RP 2011, held in Genoa, Italy, in September 2011.§The 16 papers presented together with 4 invited talks were carefully reviewed and selected from 24 submissions. The workshop deals with reachability problems that appear in 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 modelled as games.