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

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

フォーマット:
図書
責任表示:
Jens Palsberg (ed.)
言語:
英語
出版情報:
Berlin : Springer, c2000
形態:
viii, 432 p. ; 24 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 1824 <BA00009279>
書誌ID:
BA47211207
ISBN:
9783540676683 [3540676686]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings

SAS, Cousot, Patrick, 1948-

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

SAS, Le Charlier, Baudouin, 1950-

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

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

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

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

Springer
3 図書 Automata, languages and programming : 29th International Colloquium, ICALP 2002, Málaga, Spain, July 8-13, 2002 : proceedings

International Colloquium on Automata, Languages and Programming, Widmayer, Peter

Springer
9 図書 Static analysis : Second International Symposium, SAS '95, Glasgow, UK, September 25-27, 1995 : proceedings

SAS, Mycroft, Alan

Springer
4 図書 Automata, languages and programming : 30th International Colloquium, ICALP 2003, Eindhoven, the Netherlands, June 30-July 4, 2003 : proceedings

International Colloquium on Automata, Languages and Programming, Baeten, Jos C. M.

Springer
10 図書 Automata, languages and programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings

International Colloquium on Automata, Languages and Programming, Díaz, Josep, 1950-, Karhumäki, Juhani, Lepistö, &hellip;

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

SAS, Levi, Giorgio, 1942-

Springer
11 図書 Programming languages and systems : 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of …

European Symposium on Programming, European Conferences on Theory and Practice of Software, Gordon, Andrew D.

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

SAS, Van Hentenryck, Pascal

Springer
12 図書 Automata, languages and programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 : proceedings

International Colloquium on Automata, Languages and Programming, Aceto, Luca

Springer