عنوان
پدید آورنده
موضوع
رده
QA267 .M533 1989
QA267
.
M533
1989
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0131149849
(Number (ISBN
0131150073
(Number (ISBN
9780131149847
(Number (ISBN
9780131150072
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Communication and concurrency /
General Material Designation
[Book]
First Statement of Responsibility
Robin Milner.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Prentice Hall,
Date of Publication, Distribution, etc.
1989.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xi, 260 pages :
Other Physical Details
illustrations ;
Dimensions
24 cm.
SERIES
Series Title
Prentice Hall international series in computer science
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (pages 252-255) and index.
SUMMARY OR ABSTRACT
Text of Note
Communication and Concurrency develops a general calculus of concurrent programming from first principles. The book provides an understanding of concurrency through a number of primitive ideas and illustrates how these ideas apply to hardware and software, to specification and implementation.
ACQUISITION INFORMATION NOTE
Terms of Availability
£35.95 : CIP rev.
OTHER EDITION IN ANOTHER MEDIUM
Title
Communication and concurrency.
TOPICAL NAME USED AS SUBJECT
Formal languages.
Machine theory.
Operating systems (Computers).
Parallélisme (Informatique)
Systèmes d'exploitation (Ordinateurs)-- Logiciels.
Betriebssystem
Betriebssystem.
Formal languages.
Kommunikationssystem
Kommunikationssystem.
Machine theory.
Parallelverarbeitung
Programmierung
Verteiltes System
UNIVERSAL DECIMAL CLASSIFICATION (UDC)
Number
518.563.9.M65
Number
518.72
DEWEY DECIMAL CLASSIFICATION
Number
511
Edition
19
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA267
Book number
.
M533
1989
OTHER CLASS NUMBERS
Class number
*
68-02
Class number
54
.
30
Class number
54
.
31
Class number
54
.
32
Class number
54
.
50
Class number
54
.
51
Class number
54
.
54
Class number
68N01
Class number
68N25
Class number
68Q45
Class number
68Q60
Class number
68Q65
Class number
DAT
250f
Class number
ST
130
Class number
ST
150
System Code
msc
System Code
bcl
System Code
bcl
System Code
bcl
System Code
bcl
System Code
bcl
System Code
bcl
System Code
msc
System Code
msc
System Code
msc
System Code
msc
System Code
msc
System Code
stub
System Code
rvk
System Code
rvk
PERSONAL NAME - PRIMARY RESPONSIBILITY
Milner, R., (Robin),1934-2010.
ORIGINATING SOURCE
Date of Transaction
20200822085332.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
