>> Amazon.co.jp
このページのQRコード

Static analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings

種類:
図書
責任表示:
Agostino Cortesi, Gilberto Filé (eds.)
出版情報:
Berlin : Springer, c1999
著者名:
シリーズ名:
Lecture notes in computer science ; 1694 <BA00009279>
ISBN:
9783540664598 [3540664599]  CiNii Books  Calil
注記:
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

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

Cousot, Radhia, Schmidt, David A., SpringerLink (Online service)

Springer-Verlag

Cousot, Radhia., Schmidt, David A., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

International Conference on Concurrency Theory, Baeten, Jos C.M., Mauw, Sjouke

Springer

Cousot, Patrick, Falaschi, Moreno, Filé, Gilberto, Rauzy, Antoine, SpringerLink (Online service)

Springer-Verlag

International Conference on High Performance Computing, Banerjee, Prithviraj, Prasanna Kumar, V. K., Sinha, Bhabani P.

Springer

Cousot, Patrick., Falaschi, Moreno., File, Gilberto., Rauzy, Antoine., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

VMCAI, Zuck, Lenore D., Attie, Paul C., Cortesi, Agostino, Mukhopadhyay, Supratik

Springer

International Workshop on Logic Program Synthesis and Transformation, Bossi, Annalisa, 1948-

Springer