عنوان
پدید آورنده
موضوع
رده
QA 76.54 .F46 1996
QA
76
.
54
.
F46
1996
کتابخانه
محل استقرار
CE O1
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Fencott, Clive
Title Proper
Formal methods for concurrency
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London
Name of Publisher, Distributor, etc.
International Thomson Computer Press
Date of Publication, Distribution, etc.
1996
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiii, 290 p.: ill
GENERAL NOTES
Text of Note
Includes webExtra added value online--Cover
Text of Note
Includes bibliographical references )p. ]283[-284( and index
TOPICAL NAME USED AS SUBJECT
Entry Element
Real-time data processing
Entry Element
Real-time programming
Entry Element
Programming Languages )Electronic computers(
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
76
.
54
Classification Record Number
.
F46
1996
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
Clive Fencott
