>> Google Books

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. : ill. ; 24 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 1384 <BA00009279>
書誌ID:
BA35397571
ISBN:
9783540643562 [3540643567]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

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

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

Springer

Hutchison, David, Vardi, Moshe Y., Kittler, Josef, Mattern, Friedemann, Kowalewski, Stefan, Mitchell, John C., Naor, &hellip;

Springer Berlin Heidelberg

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

Springer

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

Springer-Verlag

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

Springer

Esparza, Javier, Majumdar, Rupak, SpringerLink (Online service)

Springer-Verlag Berlin Heidelberg

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

Springer

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

Springer-Verlag

Abdulla, Parosh Aziz, Leino, K. Rustan M., SpringerLink (Online service)

Springer Berlin Heidelberg