>> Google Books
QRコード(所蔵情報)

Communication and concurrency

フォーマット:
図書
責任表示:
Robin Milner
言語:
英語
出版情報:
New York ; London : Prentice Hall, 1989
形態:
xi, 260 p. : ill. ; 24 cm
著者名:
Milner, Robin, 1934- <DA03725531>  
シリーズ名:
Prentice-Hall International series in computer science <BA00010507>
書誌ID:
BA07504287
ISBN:
9780131149847 [0131149849]  CiNii Books  Webcat Plus  Google Books
9780131150072 [0131150073] (: pbk)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Developements in concurrency and communication

Hoare, C. A. R. (Charles Antony Richard), 1934ー

Addison-Wesley Pub. Co.
7 図書 CAD of concurrent computers

Foulk, Patrick W., 1945-

Research Studies Press, Wiley
2 図書 Structured concurrent programming with operating systems applications

Holt, R. C. (Richard C.), 1941-

Addison-Wesley Pub. Co.
8 図書 Concurrent programming in Ada

Burns, Alan, 1953-

Cambridge University Press
3 図書 Concurrent programming : illustrated with examples in Portal, Modula-2 and Ada

Schiper, André, 1949-

North Oxford Academic
9 図書 Concurrency control and recovery in database systems

Bernstein, Philip A., Hadzilacos, Vassos, Goodman, Nathan

Addison-Wesley Pub. Co.
4 図書 The architecture of concurrent programs

Brinch Hansen, Per, 1938-

Prentice-Hall
10 図書 The concurrency control problem for database systems

Casanova, Marco Antonio

Springer
5 図書 A calculus of communicating systems

Milner, Robin, 1934-

Springer-Verlag
11 図書 Actors : a model of concurrent computation in distributed systems

Agha, Gul A.

MIT Press
6 図書 The theory of database concurrency control

Papadimitriou, Christos H.

Computer Science Press
12 図書 Verifying concurrent processes using temporal logic

Hailpern, Brent Tzion, 1955-

Springer-Verlag