عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.369
QA
76
.
L28
Vol
.
369
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Finite representations of CCS and TCSP programs by automata and Petri nets
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
c1989
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 168p.: ill
SERIES
Other Title Information
Lecture notes in computer science; 963
GENERAL NOTES
Text of Note
Bibliography: p.]159[-164; also bibliographical footnotes
Text of Note
ISBN: 3540515259
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Dirk Taubner
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Electronic data processing -- Distributed processing
Entry Element
، Petri nets
Entry Element
، Programming languages )Electronic computers(
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
L28
Vol
.
369
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Taubner, Dirk, 9591-
Relator Code
AU
TI
SE
