Reachability Problems
Editat de Parosh Aziz Abdulla, Igor Potapoven Limba Engleză Paperback – 13 sep 2013
Preț: 291.46 lei
Preț vechi: 364.34 lei
-20%
Puncte Express: 437
Carte tipărită la comandă
Livrare economică 27 iulie-10 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783642410352
ISBN-10: 3642410359
Pagini: 236
Ilustrații: XII, 223 p. 60 illus.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.37 kg
Ediția:2013
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3642410359
Pagini: 236
Ilustrații: XII, 223 p. 60 illus.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.37 kg
Ediția:2013
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Reachability for finite 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.