>> Google Books
タイトル、所在を表示します

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

フォーマット:
図書
責任表示:
Chris Hankin, Igor Siveroni (eds.)
言語:
英語
出版情報:
Berlin : Springer, c2005
形態:
x, 367 p. ; 24 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 3672 <BA00009279>
書誌ID:
BA73373545
ISBN:
9783540285847 [3540285849]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings

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

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

SAS, Cortesi, Agostino, Filé, Gilberto, 1951-

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

SAS, Giacobazzi, Roberto

Springer
8 図書 Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings

SAS, Le Charlier, Baudouin, 1950-

Springer-Verlag
3 図書 CONCUR 2004 - concurrency theory : 15th International Conference, London, UK, August 31-September 3, 2004 : proceedings

International Conference on Concurrency Theory, Gardner, Philippa, Yoshida, Nobuko

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 : Second International Symposium, SAS '95, Glasgow, UK, September 25-27, 1995 : proceedings

SAS, Mycroft, Alan

Springer
10 図書 Algorithms - ESA 2010 : 18th Annual European Symposium Liverpool, UK, September 6-8, 2010 ; proceedings

De Berg, Mark, Meyer, Ulrich, ESA

Springer
5 図書 Static analysis : 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings

SAS, Levi, Giorgio, 1942-

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

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

Springer
6 図書 Static analysis : 4th International Symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings

SAS, Van Hentenryck, Pascal

Springer
12 図書 Constraints in computational logics : first International Conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings

CCL, Jouannaud, Jean-Pierre

Springer-Verlag