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

Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings

種類:
図書
責任表示:
Ed Brinksma (ed.)
出版情報:
Berlin : Springer, c1997
著者名:
シリーズ名:
Lecture notes in computer science ; 1217 <BA00009279>
ISBN:
9783540627906 [3540627901] (pbk. : alk. paper)  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
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

TACAS, Brinksma, Ed

Springer
7 電子ブック 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
2 図書 Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'98 held as part of the Joint European Conferences on …

Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Steffen, Bernhard

Springer
8 図書 Design and implementation of symbolic computation systems : International Symposium DISCO '90, Capri, Italy, April 10-12, 1990, proceedings

International Symposium on Design and Implementation of Symbolic Computation Systems, Miola, A. (Alfonso), 1944-

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

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

Springer Berlin Heidelberg : Imprint: Springer
9 図書 Design and implementation of symbolic computation systems : International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992 : proceedings

International Symposium on Design and Implementation of Symbolic Computation Systems, Fitch, John, 1945-

Springer-Verlag
4 電子ブック Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers

Brinksma, E., Cleaveland, W. R., Larsen, K. G., Margaria, T., Steffen, B., SpringerLink (Online service)

Springer-Verlag
10 図書 VDM '91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings

VDM-Europe. International Symposium, Prehn, S. (Søren), 1955-, Toetenel, H. (Hans), 1953-

Springer-Verlag
5 図書 Software process technology : 4th European Workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3-5, 1995 : proceedings

EWSPT, Schäfer, Wilhelm

Springer-Verlag
11 図書 VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings

VDM-Europe Symposium, Bjørner, D. (Dines), 1937-, Hoare, C. A. R. (Charles Antony Richard), 1934ー, Langmaack, Hans

Springer-Verlag
6 電子ブック 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
12 図書 Object technologies for advanced software : Second JSSST International Symposium, ISOTAS ʾ96, Kanazawa, Japan, March 11-15, 1996 : proceedings

International Symposium on Object Technologies for Advanced Software, 二木, 厚吉(1948-), 松岡, 聡, 日本ソフトウェア科学会

Springer-Verlag