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

Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop, Mook, the Netherlands, May 29-June 2, 1989, proceedings

種類:
図書
責任表示:
J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1990
著者名:
シリーズ名:
Lecture notes in computer science ; 430 <BA00009279>
ISBN:
9783540525592 [3540525599] (: gw)  CiNii Books  Calil
9780387525594 [0387525599] (: us)  CiNii Books  Calil
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Stepwise Refinement of Distributed Systems : Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings

Bakker, Jaco W. de., Roever, Willem-Paul de., Rozenberg, Grzegorz., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 図書 A decade of concurrency : reflections and perspectives : REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993 : proceedings

REX School/Symposium, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz

Springer-Verlag
2 電子ブック Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness : REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Bakker, J. W., Roever, W. -P, Rozenberg, G., SpringerLink (Online service)

Springer-Verlag
8 図書 Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings

REX Workshop, Bakker, Jacobus Willem de, 1939-

Springer-Verlag
3 図書 Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings

REX School/Workshop, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz

Springer-Verlag
9 図書 Distributed algorithms : 8th International Workshop, WDAG '94, Terschelling, The Netherlands, September 29-October 1, 1994 : proceedings

International Workshop on Distributed Algorithms, Tel, Gerard, Vitányi, P. M. B.

Springer-Verlag
4 図書 Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings

REX Workshop, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz

Springer-Verlag
10 電子ブック Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988

Bakker, J. W., Roever, W. -P, Rozenberg, G., SpringerLink (Online service)

Springer-Verlag
5 図書 Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988

Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz, School/Workshop on Linear Time, &hellip;

Springer-Verlag
11 電子ブック Real-Time: Theory in Practice : REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

Bakker, J. W., Huizing, C., Roever, W. P., Rozenberg, G., SpringerLink (Online service)

Springer-Verlag
6 電子ブック Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988

Bakker, Jacobus W. de., Roever, Willem-Paul de., Rozenberg, Grzegorz., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
12 電子ブック Real-Time: Theory in Practice : REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings

Bakker, J.W.de., Huizing, C., Roever, W.P.de., Rozenberg, G., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer