>> Google Books
所蔵情報QRコード

Tools and algorithms for the construction and analysis of systems : 7th International Conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Tiziana Margaria, Wang Yi (eds.)

資料種別:
図書
出版情報:
Berlin : Springer, c2001
形態:
xiv, 588 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 2031 <BA00009279>
著者名:
ISBN:
9783540418658 [3540418652]
書誌ID:
BA51737400
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on …

TACAS, European Conferences on Theory and Practice of Software, Garavel, Hubert, Hatcliff, John, 1966-

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

TACAS, Jensen, K. (Kurt), 1950-, Podelski, Andreas, European Conferences on Theory and Practice of Software

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

TACAS, Graf, Susanne, Schwartzbach, Michael I, European Conferences on Theory and Practice of Software

Springer
8 図書 Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings

TACAS, Margaria, Tiziana, Steffen, Bernhard

Springer
3 図書 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
9 図書 Compiler construction : 10th International Conference, CC 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, …

International Workshop on Compiler Construction, Wilhelm, Reinhard, 1946-, European Conferences on Theory and Practice …

Springer
4 図書 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
10 図書 Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : … (: pbk)

TACAS, Brinksma, Ed

Springer
5 図書 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
11 電子ブック Tools and Algorithms for the Construction and Analysis of Systems

TACAS 2001, Margaria, Tiziana, Yi, Wang

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 図書 Tools and algorithms for the construction and analysis of systems : 12th International Conference, TACAS 2006, held as part of the Joint European Conferences on …

TACAS, European Conferences on Theory and Practice of Software, Hermanns, Holger, Palsberg, Jens

Springer
12 図書 Fundamental approaches to software engineering : 4th International Conference, FASE 2001, held as part of the Joint European Conferences on Theory and Practice …

FASE, Hussmann, Heinrich, European Conferences on Theory and Practice of Software

Springer
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12