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

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

フォーマット:
図書
責任表示:
Agostino Cortesi, Gilberto Filé (eds.)
言語:
英語
出版情報:
Berlin : Springer, c1999
形態:
viii, 356 p. ; 24 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 1694 <BA00009279>
書誌ID:
BA43280853
ISBN:
9783540664598 [3540664599]
子書誌情報
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 : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings

SAS, Palsberg, Jens

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

SAS, Mycroft, Alan

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

SAS, Levi, Giorgio, 1942-

Springer
9 図書 Principles of declarative programming : 10th International Symposium, PLILP'98 held jointly with the 6th International Conference, ALP'98, Pisa, Italy, …

International Symposium, PLILP, Palamidessi, Catuscia, Glaser, Hugh, Meinke, Karl

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

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

Springer
10 図書 Verification, Model Checking, and Abstract Interpretation : third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers

VMCAI, Cortesi, Agostino

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

SAS, Van Hentenryck, Pascal

Springer
11 図書 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
6 図書 Static analysis : Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993 : proceedings

Workshop on Static Analysis, Cousot, Patrick, 1948-

Springer-Verlag
12 図書 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