عنوان
پدید آورنده
موضوع
رده
QA،26،.P87،2010
QA
،
26
،.
P87
،
2010
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9783642118807 (softcover : alk. paper)
English Book
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Automata for branching and layered temporal structures
Other Title Information
an investigation into regularities of infinite transition systems
First Statement of Responsibility
Gabriele Puppis
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
c2010
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 206 p. , ill. , 24 cm.
GENERAL NOTES
Text of Note
Title
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliobraphical references and index.
TOPICAL NAME USED AS SUBJECT
Entry Element
Machine theory
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
26
Classification Record Number
.
P87
2010
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Puppis, Gabriele.
