Cantitate/Preț
Produs

Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings: Lecture Notes in Computer Science, cartea 7550

Editat de Alain Finkel, Jerome Leroux, Igor Potapov
en Limba Engleză Paperback – 17 aug 2012
This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in Bordeaux, France, in September, 2012. The 8 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 15 submissions. The papers present current research and original contributions related to reachability problems in different computational models and systems such as 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 modeled as games.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 29151 lei

Preț vechi: 36439 lei
-20% Nou

Puncte Express: 437

Preț estimativ în valută:
5579 57100$ 4622£

Carte tipărită la comandă

Livrare economică 04-18 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783642335112
ISBN-10: 364233511X
Pagini: 164
Ilustrații: XII, 149 p. 31 illus.
Dimensiuni: 155 x 235 x 9 mm
Greutate: 0.24 kg
Ediția:2012
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Reachability problems in algebraic structures, computational models, hybrid systems, logic and verification.- Finite- and infinite-state concurrent systems.- Computational models.- Decision procedures.

Caracteristici

Fast-track conference proceedings State-of-the-art research Up-to-date results