>> Google Books

Communicating Sequential Processes. The First 25 Years / Symposium on the Occasion of 25 years of CSP, Ali E. Abdallah, Charles Antony Richard Hoare, Cliff B. Jones, Takeo Kanade, Jeff W. Sanders

資料種別:
電子ブック
出版情報:
Springer eBooks Computer Science
Springer Berlin / Heidelberg, 2005
著者名:
Symposium on the Occasion of 25 years of CSP
Abdallah, Ali E.
Hoare, Charles Antony Richard
Jones, Cliff B.
Kanade, Takeo
Sanders, Jeff W.
さらに 1 件
ISBN:
9783540258131 [3540258132]
9783540322658 [3540322655]
書誌ID:
OB00277744
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

Symposium on the Occasion of 25 years of CSP, Abdallah, Ali E., 1957-, Jones, Cliff B., 1944-, Sanders, Jeff W., Hoare, …

Springer

Uyar, M. Ümit, Duale, Ali Y., Fecko, Mariusz A., Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin / Heidelberg

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

Prentice-Hall International

Shepherdson, J. C., Hoare, C. A. R. (Charles Antony Richard), 1934-

Prentice Hall International

吉田, 信博, Hoare, C. A. R. (Charles Antony Richard), 1934-

丸善

Butler, Michael, Jones, Cliff B., Kanade, Takeo, Romanovsky, Alexander, Troubitsyna, Elena

Springer eBooks Computer Science, Springer Berlin Heidelberg

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

Addison-Wesley Pub. Co.

Jones, Cliff B., Bjørner, Dines, Chaochen, Zhou, Kanade, Takeo, Liu, Zhiming, Woodcock, Jim

Springer eBooks Computer Science, Springer Berlin Heidelberg

Jones, Cliff B., Kanade, Takeo, Liu, Zhiming, Woodcock, Jim

Springer eBooks Computer Science, Springer Berlin Heidelberg

Jones, Cliff; Roscoe, A.W; Wood, Kenneth R., Jones, Cliff B., Roscoe, A. W., Wood, Kenneth B.

Springer eBooks Computer Science, Springer London

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

Springer-Verlag

12 電子ブック 25 Years of Model Checking

Grumberg, Orna, Kanade, Takeo, Veith, Helmut

Springer eBooks Computer Science, Springer Berlin Heidelberg

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12