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

A calculus of communicating systems / Robin Milner

資料種別:
図書
出版情報:
Berlin ; New York : Springer-Verlag, 1980
形態:
vi, 171 p. ; 25 cm
シリーズ名:
Lecture notes in computer science ; 92 <BA00009279>
著者名:
Milner, Robin, 1934- <DA03725531>  
ISBN:
9783540102359 [3540102353] (: gw)
9780387102351 [0387102353] (: us)
書誌ID:
BA01081180
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Communicating and mobile systems : the π-calculus (: hbk ; : pbk)

Milner, Robin, 1934-

Cambridge University Press
7 図書 Picture languages : formal models for picture recognition

Rosenfeld, Azriel, 1931-

Academic Press
2 電子ブック A Calculus of Communicating Systems

Milner

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
8 図書 Formal languages and their relation to automata

Hopcroft, John E., 1939-, Ullman, Jeffrey D., 1942-

Addison-Wesley Pub. Co.
3 図書 Semirings, automata, languages (: us ; : gw)

Kuich, Werner, 1941-, Salomaa, Arto, 1934-

Springer-Verlag
9 図書 Syntactic pattern recognition : an introduction (: pbk)

Gonzalez, Rafael C., Thomason, Michael G.

Addison-Wesley Pub. Co., Advanced Book Program
4 電子ブック A Calculus of Communicating Systems

Milner, R., SpringerLink (Online service)
10 図書 Machines, languages, and computation

Denning, Peter J., Dennis, Jack B. (Jack Bonnell), Qualitz, Joseph E., 1948-

Prentice-Hall
5 図書 Mathematical foundations of programming

Beckman, Frank S.

Addison-Wesley
11 図書 Formal languages; automata and structures

Engeler, Erwin, 1930-

Markham Pub. Co
6 図書 A basis for theoretical computer science

Arbib, Michael A., 1940-, Kfoury, A. J., Moll, Robert N.

Springer-Verlag
12 図書 The language of machines : an introduction to computability and formal languages

Floyd, Robert W., Beigel, Richard

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