>> Google Books
タイトル、所在を表示します

Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

フォーマット:
図書
責任表示:
Susanne Graf, Michael Schwartzbach (eds.)
言語:
英語
出版情報:
Berlin : Springer, c2000
形態:
xiv, 552 p. ; 24 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 1785 <BA00009279>
書誌ID:
BA46078735
ISBN:
9783540672821 [3540672826]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Tools and algorithms for the construction and analysis of systems : 7th International Conference, TACAS 2001, held as part of the Joint European Conferences on …

TACAS, Margaria, Tiziana, Yi, Wang, European Conferences on Theory and Practice of Software

Springer
7 図書 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, European Conferences on Theory and Practice of Software

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 …

TACAS, European Conferences on Theory and Practice of Software, Steffen, Bernhard

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

TACAS, Brinksma, Ed

Springer
3 図書 Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on …

TACAS, Halbwachs, Nicolas, Zuck, Lenore D., European Conferences on Theory and Practice of Software

Springer
9 図書 Fundamental approaches to software engineering : third International Conference, FASE 2000, held as part of the Joint European Conferences on Theory and …

FASE, Maibaum, Tom, European Conferences on Theory and Practice of Software

Springer
4 図書 Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, held as part of the Joint European Conferences on …

TACAS, Katoen, Joost-Pieter, Stevens, Perdita, European Conferences on Theory and Practice of Software

Springer
10 図書 Foundations of software science and computation structures : third International Conference, FOSSACS 2000, held as part of the joint European Conferences on …

FOSSACS, Tiuryn, Jerzy, European Conferences on Theory and Practice of Software

Springer
5 図書 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
11 図書 Compiler Construction : 17th International Conference, CC 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, …

International Workshop on Compiler Construction, European Conferences on Theory and Practice of Software, Hendren, &hellip;

Springer
6 図書 Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS'99, held as part of the Joint European Conferences on …

TACAS, European Conferences on Theory and Practice of Software, Cleaveland, W. R. (Walter Rance), 1961-

Springer-Verlag
12 図書 TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings

International Joint Conference on Theory and Practice of Software Development, Mosses, Peter D., Nielsen, M. (Mogens), &hellip;

Springer