>> Google Books
タイトル、所在を表示します

Developements in concurrency and communication

フォーマット:
図書
責任表示:
edited by C.A.R. Hoare
言語:
英語
出版情報:
Reading, Mass. : Addison-Wesley Pub. Co., 1990
形態:
xiv, 336 p. ; 24 cm
著者名:
Hoare, C. A. R. (Charles Antony Richard), 1934ー <DA00020063>  
シリーズ名:
The UT Year of Programming series <BA07261389>
書誌ID:
BA11656121
ISBN:
9780201172324 [0201172321]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Structured concurrent programming with operating systems applications

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

Addison-Wesley Pub. Co.
7 図書 The concurrency control problem for database systems

Casanova, Marco Antonio

Springer
2 図書 VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings

VDM-Europe Symposium, Bjørner, D. (Dines), 1937-, Langmaack, Hans, Hoare, C. A. R. (Charles Antony Richard), 1934-

Springer-Verlag
8 図書 Concurrency and hardware design : advances in petri nets

Cortadella, Jordi, Yakovlev, Alex, Rozenberg, Grzegorz

Springer
3 図書 構造化プログラミング

Dijkstra, Edsger Wybe, 1930-, Hoare, C. A. R. (Charles Antony Richard), 1934-, Dahl, Ole-Johan, 1931-, 野下, &hellip;

サイエンス社
9 図書 Research directions in concurrent object-oriented programming

Agha, Gul A., Wegner, Peter, 米沢, 明憲(1947-)

MIT Press
4 図書 Principles of concurrent and distributed programming

Ben-Ari, M., 1948-

Addison-Wesley
10 図書 Verifying concurrent processes using temporal logic

Hailpern, Brent Tzion, 1955-

Springer-Verlag
5 図書 Understanding concurrent systems

Roscoe, Andrew William

Springer
11 図書 Concurrent programming

Snow, C. R.

Cambridge University Press
6 図書 Concurrent programming in ML

Reppy, John H.

Cambridge University Press
12 図書 Communication complexity and parallel computing

Hromkovic̆, Juraj, 1958-

Springer-Verlag