>> Google Books
所蔵情報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
形態:
289 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 1019 <BA00009279>
著者名:
ISBN:
9783540606307 [3540606300]
書誌ID:
BA26610088
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

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

Springer

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

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

Springer

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

Springer

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

Springer

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

Springer

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

Springer

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

Springer

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