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

Specification and verification of concurrent systems

種類:
図書
責任表示:
C. Rattray, (ed.)
出版情報:
London ; Tokyo : Springer-Verlag, c1990
著者名:
シリーズ名:
Workshops in computing <BA10637121>
ISBN:
9783540195818 [3540195815] (: Germany)  CiNii Books  Calil
9780387195810 [0387195815] (: U.S.)  CiNii Books  Calil
注記:
'Published in collaboration with the British Computer Society'
'Papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland'--Pref
Incudes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Structures in concurrency theory : proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11-13 May 1995

International Workshop on Structures in Concurrency Theory (1995 : Berlin), Desel, Jörg, British Computer Society

Springer, in collaboration with the British Computer Society
7 図書 CONCUR '90 : theories of concurrency: unification and extension : Amsterdam, the Netherlands, August 27-30, 1990 : proceedings

Baeten, J. C. M., Klop, J. W. (Jan Willem), 1945-, Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands), &hellip;

Springer-Verlag
2 図書 Concurrent languages in distributed systems hardware supported implementation : proceedings of the IFIP WG 10.3 Workshop on Hardware Supported Implementation on …

IFIP WG 10.3 Workshop on Hardware Supported Implementation on Concurrent Languages in Distributed Systems (1984 : &hellip;

North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
8 図書 CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, the Netherlands, August 26-29, 1991 : proceedings

International Conference on Concurrency Theory, Baeten, J. C. M., Groote, J. F. (Jan Frisco), 1965-, Centrum voor &hellip;

Springer-Verlag
3 図書 Logics and models of concurrent systems

NATO Advanced Study Institute on Logics and Models of Concurrent Systems, Apt, Krzysztof R., 1949-, North Atlantic &hellip;

Springer-Verlag
9 図書 6th Refinement Workshop : proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5-7 January 1994

Refinement Workshop, Till, David, British Computer Society. Specialist Group in Formal Aspects of Computing Science

Springer-Verlag
4 図書 Algebra of communicating processes : proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16-17 May …

Workshop on the Algebra of Communicating Processes (1st : 1994 : Utrecht, Netherlands), Ponse, A. (Alban), 1955-, &hellip;

Springer-Verlag
10 図書 Computer algebra and parallelism : second international workshop, Ithaca, USA, May 9-11, 1990 : proceedings

Zippel, R. E. (Richard E.), 1952-, Workshop on Computer Algebra and Parallelism

Springer-Verlag
5 図書 Parallel processing in neural systems and computers

Eckmiller, Rolf, 1942-, Hartmann, G. (Georg), 1937-, Hauske, Gert, International Conference on Parallel Processing in &hellip;

North-Holland, Elsevier Science Pub. Co.
11 図書 Parallel computer routing and communication : Second International Workshop, PCRCW '97, Atlanta, Georgia, USA, June 26-27, 1997 : proceedings

PCRCW, Yalamanchili, Sudhakar, Duato, José

Springer
6 図書 Languages, compilers and run-time systems for scalable computers

Szymanski, Boleslaw K, Sinharoy, Balaram, 1961-

Kluwer Academic
12 図書 Parallel computer routing and communication : First International Workshop, PCRCW '94, Seattle, Washington, USA, May 16-18, 1994 : proceedings

PCRCW, Snyder, Lawrence, Bolding, Kevin, 1966-

Springer-Verlag