>> 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

種類:
図書
責任表示:
E. Brinksma ... [et al.], (eds.)
出版情報:
Berlin ; New York : Springer, c1995
著者名:
シリーズ名:
Lecture notes in computer science ; 1019 <BA00009279>
ISBN:
9783540606307 [3540606300]  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

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

Springer Berlin Heidelberg : Imprint: Springer
7 図書 Studies of software design : ICSE '93 Workshop, Baltimore, Maryland, USA, May 17-18, 1993 : selected papers

ICSE, Lamb, David Alex, 1954-

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

Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Brinksma, Ed

Springer
8 図書 Recent trends in algebraic development techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers

WADT, Parisi Presicce, Francesco

Springer
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, E., Cleaveland, W. R., Larsen, K. G., Margaria, T., Steffen, B., SpringerLink (Online service)

Springer-Verlag
9 図書 Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings

International Symposium on Design and Implementation of Symbolic Computation Systems, Calmet, Jacques, 1941-, &hellip;

Springer
4 図書 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
10 電子ブック Eternal Systems : First International Workshop, EternalS 2011, Budapest, Hungary, May 3, 2011, Revised Selected Papers

Moschitti, Alessandro., Scandariato, Riccardo., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
5 電子ブック 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
11 図書 Computer science logic : 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers

Workshop on Computer Science Logic, Nielsen, Mogens, Thomas, Wolfgang, European Association for Computer Science Logic

Springer
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 Berlin Heidelberg : Imprint: Springer
12 電子ブック Computer Aided Systems Theory — CAST '94 : 4th International Workshop Ottawa, Ontario, Canada, May 16–20, 1994 Selected Papers

Klir, George J., Ören, Tuncer I., SpringerLink (Online service)

Springer-Verlag