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

Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers

種類:
電子ブック
責任表示:
edited by E. Brinksma, W. R. Cleaveland, K. G. Larsen, T. Margaria, B. Steffen
出版情報:
Berlin, Heidelberg : Springer-Verlag, 1995
著者名:
Brinksma, E.
Cleaveland, W. R.
Larsen, K. G.
Margaria, T.
Steffen, B.
SpringerLink (Online service)
続きを見る
シリーズ名:
Lecture Notes in Computer Science ; 1019
ISBN:
9783540485094 [3540485090]  CiNii Books  Calil
ローカル注記:
学内専用E-BOOKS (local access only)
オンライン
http://dx.doi.org/10.1007/3-540-60630-0
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers

Brinksma, Ed., Cleaveland, W. Rance., Larsen, Kim G., Margaria, Tiziana., Steffen, Bernhard., SpringerLink (Online …

Springer Berlin Heidelberg : Imprint: Springer
7 電子ブック Recent Trends in Data Type Specification : 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May …

Astesiano, Egidio, Reggio, Gianna, Tarlecki, Andrzej, SpringerLink (Online service)

Springer-Verlag
2 電子ブック Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Margaria, Tiziana, Steffen, Bernhard, SpringerLink (Online service)

Springer-Verlag
8 電子ブック Intelligent Agents II Agent Theories, Architectures, and Languages : IJCAI'95 Workshop (ATAL) Montréal, Canada, August 19–20, 1995 Proceedings

Wooldridge, Michael, Müller, Jörg P., Tambe, Milind, SpringerLink (Online service)

Springer-Verlag
3 図書 Tools and algorithms for the construction and analysis of systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers

TACAS, Brinksma, Ed

Springer
9 電子ブック Program Specification : Proceedings of a Workshop Aarhus, Denmark, August 1981

Staunstrup, Jørgen, SpringerLink (Online service)

Springer-Verlag
4 電子ブック Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings

Margaria, Tiziana., Steffen, Bernhard., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
10 電子ブック Object-Based Parallel and Distributed Computation : France-Japan Workshop, OBPDC '95 Tokyo, Japan, June 21–23, 1995 Selected Papers

Briot, Jean-Pierre, Geib, Jean-Marc, Yonezawa, Akinori, SpringerLink (Online service)

Springer-Verlag
5 電子ブック TAPSOFT '95: Theory and Practice of Software Development : 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings

Mosses, Peter D., Nielsen, Mogens, Schwartzbach, Michael I., SpringerLink (Online service)

Springer-Verlag
11 電子ブック Digital Libraries Current Issues : Digital Libraries Workshop DL '94 Newark, NJ, USA, May 19–20, 1994 Selected Papers

Adam, Nabil R., Bhargava, Bharat K., Yesha, Yelena, SpringerLink (Online service)

Springer-Verlag
6 電子ブック FME '93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings

Woodcock, James C. P., Larsen, Peter G., SpringerLink (Online service)

Springer-Verlag
12 電子ブック Computer Aided Verification : 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings

Larsen, Kim G., Skou, Arne, SpringerLink (Online service)

Springer-Verlag