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

Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998, proceedings

種類:
図書
責任表示:
Bernhard Steffen, ed.
出版情報:
Berlin ; New York : Springer, c1998
著者名:
シリーズ名:
Lecture notes in computer science ; 1384 <BA00009279>
ISBN:
9783540643562 [3540643567]  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 : 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
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-Verlag
2 図書 Compiler construction : 7th International Conference, CC '98, held as part of the Joint European Conferences on the Theory and Practice of Software, ETAPS '98, …

International Workshop on Compiler Construction CC, Koskimies, Kai

Springer
8 電子ブック 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
3 図書 Programming languages and systems : 7th European Symposium on Programming, ESOP '98, held as part of Joint European Conferences on Theory and Practice of …

European Symposium on Programming, Hankin, Chris

Springer-Verlag
9 図書 Compiler construction : 8th International Conference, CC'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, …

International Workshop on Compiler Construction CC, Jähnichen, Stefan

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

TACAS, Brinksma, Ed

Springer
10 図書 Compiler construction : 9th International Conference, CC 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, …

International Workshop on Compiler Construction, Watt, David Anthony, 1946-, European Conferences on Theory and Practice &hellip;

Springer
5 図書 Fundamental approaches to software engineering : first international conference, FASE'98 held as part of the joint European Conferences on Theory and Practice …

FASE, Astesiano, E. (Egidio), 1939-, International Joint Conference on Theory and Practice of Software Development

Springer
11 図書 Programming languages and systems : 8th European Symposium on Programming, ESOP'99, held as part of the Joint European Conferences on Theory and Practice of …

European Symposium on Programming, Swierstra, S. Doaitse

Springer
6 図書 Foundations of software science and computation structures : First International Conference, FoSSaCS ʾ98 held as part of the joint European Conferences on …

FoSSaCS, Nivat, Maurice, International Joint Conference on Theory and Practice of Software Development

Springer
12 図書 Programming languages and systems : 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of …

European Symposium on Programming, Smolka, Gert

Springer