>> Amazon.co.jp
このページのQRコード

Algebraic theory of processes

種類:
図書
責任表示:
Matthew Hennessy
出版情報:
Cambridge, Mass. : MIT Press, c1988
著者名:
Hennessy, Matthew <DA02497828>  
シリーズ名:
MIT Press series in the foundations of computing <BA0001568X>
ISBN:
9780262081719 [0262081717]  CiNii Books  Calil
注記:
Includes bibliography and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Introduction to model theory and to the metamathematics of algebra

Robinson, Abraham, 1918-1974

North-Holland Pub. Co.
7 図書 Discrete mathematics : applied combinatorics and graph theory

Townsend, Michael, 1952-

Benjamin/Cummings Pub. Co.
2 図書 Algebra

Grove, Larry C.

Academic Press
8 図書 Algebraic approaches to program semantics

Manes, Ernest G., 1943-, Arbib, Michael A.

Springer-Verlag
3 図書 Algebra

Waerden, B. L. van der (Bartel Leendert), 1903-, Artin, Emil, 1898-1962, Noether, Emmy, 1882-1935

Springer-Verlag
9 図書 Algebraic semantics of imperative programs

Goguen, Joseph, Malcolm, Grant

MIT Press
4 図書 Algebra

Waerden, B. L. van der (Bartel Leendert), 1903-, Artin, Emil, 1898-1962, Noether, Emmy, 1882-1935

Springer-Verlag
10 図書 Modern algebra

Waerden, B. L. van der (Bartel Leendert), 1903-, Artin, Emil, 1898-1962, Noether, Emmy, 1882-1935, Benac, Theodore J.

Frederick Ungar
5 図書 Algebra

Rédei, László, 1900-1980

Pergamon Press
11 図書 Modern algebra

Waerden, B. L. van der (Bartel Leendert), 1903-

[s.n.]
6 図書 Category theory for computing science

Barr, Michael, Wells, Charles

Prentice Hall
12 図書 Linear algebra

Jacobson, Nathan, 1910-

Springer