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

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>
著者名:
ISBN:
9783540664598 [3540664599]
書誌ID:
BA43280853
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

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 (: gw ; : us)

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 図書 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
4 図書 Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings

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

Springer
10 図書 Automata, languages and programming : 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings

International Colloquium on Automata, Languages and Programming, Orejas, Fernando, Spirakis, P. G. (Paul G.), 1955-, …

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

Workshop on Static Analysis, Cousot, Patrick, 1948-

Springer-Verlag
12 図書 Proceedings of the 29th Annual International Computer Software and Applications Conference : COMPSAC 2005 : July 26-28, 2005, Edinburgh, Scotland (Workshops and fast abstracts)

International Computer Software & Applications Conference, IEEE Computer Society

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