>> Google Books
所蔵情報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
形態:
xiii, 455 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 1384 <BA00009279>
著者名:
ISBN:
9783540643562 [3540643567]
書誌ID:
BA35397571
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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

Springer

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

Springer

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

Springer

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

Springer

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

Springer

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

Springer

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

Springer

European Symposium on Programming, European Conferences on Theory and Practice of Software, Hankin, Chris

Springer-Verlag

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

Springer

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