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

Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures / Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)

資料種別:
図書
出版情報:
Berlin ; New York : Springer, c1998
形態:
646 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 1536 <BA00009279>
著者名:
ISBN:
9783540654933 [3540654933]
書誌ID:
BA39727168
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック Compositionality: The Significant Difference

COMPOS '97, Langmaack, Hans, Pnueli, A., Roever, W.-P de, Pnueli, Amir

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
7 図書 Coordination languages and models : Second International Conference COORDINATION '97, Berlin, Germany, September 1-3 1997 : proceedings

International Conference COORDINATION, Garlan, David, Le Métayer, D. (Daniel)

Springer
2 図書 Formal techniques in real-time and fault-tolerant systems : Third International Symposium organized jointly with the Working Group Provably Correct Systems, …

Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Langmaack, Hans, Roever, W.-P. de, 1943-, …

Springer-Verlag
8 図書 Current trends in concurrency : overviews and tutorials (: gw ; : us)

ESPRIT/LPC Advanced School on Current Trends in Concurrency, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, …

Springer-Verlag
3 図書 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
9 図書 Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, revised lectures

Boer, Frank S. de, Bonsangue, Marcello M., Graf, Susanne, Roever, W.-P. de, 1943-, FMCO

Springer
4 図書 Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings (: kart)

TABLEAUX, Galmiche, Didier, 1958-

Springer
10 図書 Formal methods for components and objects : Third International Symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures

FMCO, Boer, Frank S. de, Bonsangue, Marcello M., Graf, Susanne, Roever, W.-P. de, 1943-

Springer
5 図書 Parallel computing technologies : 4th International Conference, PaCT-97, Yaroslavl, Russia, September 8-12, 1997 : proceedings

International Conference on Parallel Computing Technologies, Malyshkin, V. Ė. (Viktor Ėmmanuilovich)

Springer
11 図書 Theorem provers in circuit design : theory, practice and experience : Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : …

IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience, Kumar, …

Springer
6 図書 Solving irregularly structured problems in parallel : 4th International Symposium, IRREGULAR '97, Paderborn, Germany, June 12-13, 1997 : proceedings

International Symposium on Solving Irregularly Structured Problems in Parallel, Bilardi, G. (Gianfranco)

Springer
12 図書 Communicating Sequential Processes : the first 25 years : Symposium on the Occasion of 25 Years of CSP London, UK, July 7-8, 2004 : revised invited papers

Symposium on the Occasion of 25 years of CSP, Abdallah, Ali E., 1957-, Jones, Cliff B., 1944-, Sanders, Jeff W., Hoare, …

Springer
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12