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
Preț estimativ în valută:
51.53€ • 59.11$ • 44.52£
51.53€ • 59.11$ • 44.52£
Carte tipărită la comandă
Livrare economică 02-16 mai
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.