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

Static analysis : 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings / Radhia Cousot (ed.)

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

類似資料:

1 図書 Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings

SAS, Cousot, Radhia, Schmidt, David A., 1953-

Springer
7 図書 Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings

SAS, Hermenegildo, Manuel V., Puebla, Germán

Springer
2 図書 Verification, model checking, and abstract interpretation : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings

VMCAI, Cousot, Radhia

Springer
8 図書 Static analysis : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings

SAS, Hankin, Chris, Siveroni, Igor

Springer
3 図書 Static analysis : 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006 : proceedings

SAS, Yi, Kwangkeun

Springer
9 図書 Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings

SAS, Palsberg, Jens

Springer
4 図書 Static analysis : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings

SAS, Giacobazzi, Roberto

Springer
10 電子ブック Static Analysis

Cousot, Cousot, Radhia, Schmidt, David A.

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 電子ブック Proceedings of the 10th international conference on Static analysis

International Static Analysis Symposium, Cousot, Radhia, Association for Computing Machinery-Digital Library.

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
11 図書 Topics in Cryptology - CT-RSA 2003 : the Cryptographers' Track at the RSA conference 2003, San Francisco, CA, USA, April 13-17, 2003 : proceedings

Cryptographers' Track at RSA Conference, Joye, Mark

Springer
6 図書 Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings

SAS, Cousot, Patrick, 1948-

Springer
12 図書 Software engineering research and applications : first International Conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003 : selected revised papars

SERA, Ramamoorthy, C. V., Lee, Roger Y., Lee, Kyung Whan

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