عنوان
پدید آورنده
موضوع
رده
QA76.76.V47 R58 2009
QA76
.
76
.
V47
R58
2009
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642044204
(Number (ISBN
9783642044205
NATIONAL BIBLIOGRAPHY NUMBER
Number
b433905
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Reachability problems
General Material Designation
[Book]
Other Title Information
third international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings /
First Statement of Responsibility
Olivier Bournez, Igor Potapov, (eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
2009
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (x, 232 p.) :
Other Physical Details
ill
SERIES
Series Title
Lecture notes in computer science ;
Volume Designation
5797
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
OTHER EDITION IN ANOTHER MEDIUM
Title
Reachability problems.
International Standard Book Number
3642044190
PIECE
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
RP 2009
TOPICAL NAME USED AS SUBJECT
Computer systems-- Verification, Congresses
Configurations, Congresses
Decidability (Mathematical logic), Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
76
.
V47
Book number
R58
2009
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Bournez, Olivier
Potapov, Igor
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
RP 2009(2009 :, Palaiseau, France)
ORIGINATING SOURCE
Date of Transaction
20120501034631.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
