عنوان
پدید آورنده
موضوع
رده
QA76.76.V47 R6 2012eb
QA76
.
76
.
V47
R6
2012eb
کتابخانه
محل استقرار
3642335128 (electronic bk.)
9783642335129 (electronic bk.)
9783642335112
b434834
Reachability problems
[Book]
6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)
New York :
Springer,
c2012
1 online resource
Lecture notes in computer science,
LNCS sublibrary. SL 1, Theoretical computer science and general issues
7550
0302-9743 ;
Includes bibliographical references and index
OhioLINK electronic book center (Online)
SpringerLink
RP 2012
Computer science-- Mathematics, Congresses
Computer systems-- Verification, Congresses
Decidability (Mathematical logic), Congresses
004
23
QA76
.
76
.
V47
QA76
.
76
.
V47
R6
2012eb
R6
2012eb
Finkel, A., (Alain),1958-
Leroux, Jérôme
Potapov, Igor
RP (Workshop)(6th :2012 :, Bordeaux, France)
20130403130958.0
مطالعه متن کتاب [Book]
Y
