A calculus of communicating systems | 茨城大学附属図書館 OPAC

>> Google Books

QRコード(所蔵情報)

A calculus of communicating systems

フォーマット:: 図書
責任表示:: Robin Milner
言語:: 英語
出版情報:: Berlin ; New York : Springer-Verlag, 1980
形態:: vi, 171 p. ; 25 cm
著者名:: Milner, Robin, 1934- <DA03725531>
シリーズ名:: Lecture notes in computer science ; 92 <BA00009279>
書誌ID:: BA01081180
ISBN:: 9783540102359 [3540102353] (: gw)
9780387102351 [0387102353] (: us)

子書誌情報

所蔵情報

Loading availability information

タイトルが類似している資料

詳細

主題:	Formal languages; Machine theory
分類・件名:	LCC : QA267 DDC : 511.3 LCSH : Machine theory LCSH : Formal languages
LCCN:	80021068
注記:	Bibliography: p. [169]-171
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Computability, complexity, and languages : fundamentals of theoretical computer science Davis, Martin, 1928-, Sigal, Ron, Weyuker, Elaine J Academic Press	7 図書 Mathematical foundations of programming Beckman, Frank S. Addison-Wesley
2 図書 The language of machines : an introduction to computability and formal languages Floyd, Robert W., Beigel, Richard Computer Science Press	8 図書 Formal languages and their relation to automata Hopcroft, John E., 1939-, Ullman, Jeffrey D., 1942- Addison-Wesley Pub. Co.
3 図書 Introduction to automata theory, languages, and computation Hopcroft, John E., 1939-, Motwani, Rajeev, Ullman, Jeffrey D., 1942- Addison-Wesley	9 図書 Automata theory: machines and languages Kain, Richard Y. McGraw-Hill
4 図書 Discrete mathematics: applied algebra for computer and information science Bobrow, Leonard S., Arbib, Michael A., 1940- Saunders	10 図書 Syntactic pattern recognition : an introduction Gonzalez, Rafael C., Thomason, Michael G. Addison-Wesley Pub. Co., Advanced Book Program
5 図書 Computability, complexity, and languages : fundamentals of theoretical computer science Davis, Martin, 1928-, Weyuker, Elaine J Academic Press	11 図書 Introduction to automata theory, languages, and computation Hopcroft, John E., 1939-, Ullman, Jeffrey D., 1942- Addison-Wesley
6 図書 A basis for theoretical computer science Arbib, Michael A., Kfoury, A. J., Moll, Robert N. Springer-Verlag	12 図書 Elements of the theory of computation Lewis, Harry R., Papadimitriou, Christos H. Prentice-Hall, Prentice-Hall International