>> Google Books
所蔵情報QRコード

Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1993
形態:
viii, 659 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 666 <BA00009279>
著者名:
ISBN:
9783540565963 [3540565965] (: gw)
9780387565965 [0387565965] (: us)
書誌ID:
BA1996121X
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings (: gw ; : us)

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

Springer-Verlag
7 図書 Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings (: gw ; : us)

REX Workshop, Bakker, Jacobus Willem de, 1939-

Springer-Verlag
2 図書 A decade of concurrency : reflections and perspectives : REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993 : proceedings (: gw ; : us)

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

Springer-Verlag
8 電子ブック A Decade of Concurrency Reflections and Perspectives

Bakker, Bakker, Jacobus Willem, Roever, W.-P de, Rozenberg, Grzegorz

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 電子ブック Semantics: Foundations and Applications : REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings

Bakker, J.W.de., Roever, W.-P.de., Rozenberg, G., SpringerLink (Online service)
9 電子ブック Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness

Bakker, Bakker, Jacobus Willem, Roever, W.-P de, Rozenberg, Grzegorz

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック Semantics: Foundations and Applications

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

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
10 電子ブック 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)
5 図書 Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop, Mook, the Netherlands, May 29-June 2, 1989, proceedings (: gw ; : us)

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

Springer-Verlag
11 電子ブック Foundations of Object-Oriented Languages : REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990

Bakker, J.W. de., Roever, W.P. de., Rozenberg, G., SpringerLink (Online service)
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)
12 電子ブック A Decade of Concurrency: Reflections and Perspectives : Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. …

Bakker, J.W.de., Roever, W.-P.de., Rozenberg, G., SpringerLink (Online service)
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12