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

Communication and concurrency

種類:
図書
責任表示:
Robin Milner
出版情報:
New York ; London : Prentice Hall, 1989
著者名:
Milner, Robin, 1934- <DA03725531>  
シリーズ名:
Prentice-Hall International series in computer science <BA00010507>
ISBN:
9780131149847 [0131149849]  CiNii Books  Calil
9780131150072 [0131150073] (: pbk)  CiNii Books  Calil
注記:
Bibliography: p. 252-255
Includes index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Concurrent programming in ML

Reppy, John H.

Cambridge University Press
7 図書 Communication complexity and parallel computing

Hromkovic̆, Juraj, 1958-

Springer-Verlag
2 図書 Concurrent scientific computing

Van de Velde, Eric F.

Springer-Verlag
8 図書 Project Oberon : the design of an operating system and compiler

Wirth, Niklaus, 1934-, Gutknecht, Jürg

ACM Press, Addison-Wesley Pub. Co.
3 図書 The concurrency control problem for database systems

Casanova, Marco Antonio

Springer
9 図書 Concurrent object-oriented programming and Petri nets : advances in Petri nets

Agha, Gul A., De Cindio, Fiorella, Rozenberg, Grzegorz

Springer
4 図書 Compositional verification of concurrent and real-time systems

Juan, Eric Y.T., Tsai, Jeffrey J.-P

Kluwer Academic Publishers
10 図書 Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their relationship

Zwiers, Job, 1956-

Springer-Verlag
5 図書 Parallelism in hardware and software : real and apparent concurrency

Lorin, Harold

Prentice-Hall
11 図書 Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem

Godefroid, Patrice

Springer
6 図書 Verifying concurrent processes using temporal logic

Hailpern, Brent Tzion, 1955-

Springer-Verlag
12 図書 Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings

Guessarian, Irène, 1948-, Laboratoire Informatique Théorique et Programmation (France). Spring School, Institut pour &hellip;

Springer-Verlag