عنوان
پدید آورنده
موضوع
رده
QA76.76.V47 R58 2009
QA76
.
76
.
V47
R58
2009
کتابخانه
محل استقرار
3642044204
9783642044205
b433905
Reachability problems
[Book]
third international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings /
Olivier Bournez, Igor Potapov, (eds.)
New York :
Springer,
2009
1 online resource (x, 232 p.) :
ill
Lecture notes in computer science ;
5797
Includes bibliographical references and index
Reachability problems.
3642044190
SpringerLink
RP 2009
Computer systems-- Verification, Congresses
Configurations, Congresses
Decidability (Mathematical logic), Congresses
QA76
.
76
.
V47
R58
2009
Bournez, Olivier
Potapov, Igor
RP 2009(2009 :, Palaiseau, France)
20120501034631.0
مطالعه متن کتاب [Book]
Y
