عنوان
پدید آورنده
موضوع
رده
QA76.76.V47 R58 2010
QA76
.
76
.
V47
R58
2010
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642153488
(Number (ISBN
9783642153488
NATIONAL BIBLIOGRAPHY NUMBER
Number
b713309
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Reachability problems :
General Material Designation
[Book]
Other Title Information
4th international workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 : proceedings /
First Statement of Responsibility
Antonín Kučera, Igor Potapov (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
2010.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 197 pages :
Other Physical Details
illustrations ;
Dimensions
24 cm.
SERIES
Series Title
Lecture notes in computer science,
Series Title
LNCS sublibrary: SL 1-theoretical computer science and general issues
Volume Designation
6227
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
TOPICAL NAME USED AS SUBJECT
Computer systems-- Verification, Congresses.
Configurations, Congresses.
Decidability (Mathematical logic), Congresses.
Computer systems-- Verification.
Configurations.
Decidability (Mathematical logic)
Erreichbarkeit.
Erreichbarkeitsmenge.
Zustandsgraph.
GEOGRAPHICAL NAME USED AS SUBJECT
Brünn 2010
7
(SUBJECT CATEGORY (Provisional
QA
DEWEY DECIMAL CLASSIFICATION
Number
511
.
35
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
76
.
V47
Book number
R58
2010
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Kučera, A., (Antonín)
Potapov, Igor.
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
RP (Workshop)(4th :2010 :, Brno, Czech Republic)
ORIGINATING SOURCE
Date of Transaction
20201208034309.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
