Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Reachability Problems

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

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

Giorgio Delzanno

Igor Potapov

Limba

engleză

Carte Carte broșată

Codul Libristo: 01658950

Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septembrie 2011

This book constitutes the refereed proceedings of the 5th International Workshop on Reachability Pro... Descrierea completă

Codul Libristo: 01658950

153 b

333.09 lei

În depozitul extern Expediem în 10-18 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Hohe Schein Ludwig Ganghofer

Carte broșată

64.73 lei

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

Copertă tare

117.90 lei

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.