عنوان
پدید آورنده
موضوع
رده
QA76.76.V47 R58 2010
QA76
.
76
.
V47
R58
2010
کتابخانه
محل استقرار
3642153488
9783642153488
b713309
Reachability problems :
[Book]
4th international workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 : proceedings /
Antonín Kučera, Igor Potapov (eds.).
New York :
Springer,
2010.
x, 197 pages :
illustrations ;
24 cm.
Lecture notes in computer science,
LNCS sublibrary: SL 1-theoretical computer science and general issues
6227
0302-9743 ;
Includes bibliographical references and index.
Computer systems-- Verification, Congresses.
Configurations, Congresses.
Decidability (Mathematical logic), Congresses.
Computer systems-- Verification.
Configurations.
Decidability (Mathematical logic)
Erreichbarkeit.
Erreichbarkeitsmenge.
Zustandsgraph.
Brünn 2010
7
QA
511
.
35
QA76
.
76
.
V47
R58
2010
Kučera, A., (Antonín)
Potapov, Igor.
RP (Workshop)(4th :2010 :, Brno, Czech Republic)
20201208034309.0
مطالعه متن کتاب [Book]
Y
