>> Amazon.co.jp
このページのQRコード

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

種類:
図書
責任表示:
Baudouin Le Charlier (ed.)
出版情報:
Berlin ; New York : Springer-Verlag, c1994
著者名:
シリーズ名:
Lecture notes in computer science ; 864 <BA00009279>
ISBN:
9783540584858 [3540584854] (: gw)  CiNii Books  Calil
9780387584850 [0387584854] (: us)  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Static Analysis : First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28–30, 1994 Proceedings

Charlier, Baudouin, SpringerLink (Online service)

Springer-Verlag
7 図書 Principles of declarative programming : 10th International Symposium, PLILP'98 held jointly with the 6th [i.e. 7th] International Conference, ALP'98, Pisa, …

International Symposium, PLILP, International Conference on Algebraic and Logic Programming, Palamidessi, Catuscia, &hellip;

Springer
2 電子ブック Static Analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings

LeCharlier, Baudouin., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP '97 including a special track on declarative programming …

International Symposium, PLILP, Glaser, Hugh, Hartel, Pieter H., Kuchen, Herbert R., 1958-

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

SAS, Levi, Giorgio, 1942-

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 図書 Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994 : proceedings

European Symposium on Programming, Sannella, Donald, 1956-

Springer-Verlag
5 図書 Static analysis : 8th international symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings

SAS, Cousot, Patrick, 1948-

Springer
11 図書 Mathematical foundations of computer science 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978

Symposium on Mathematical Foundations of Computer Science, Winkowski, Józef, 1934-

Springer-Verlag
6 図書 Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings

International Symposium, PLILP, Kuchen, Herbert R., 1958-, Swierstra, S. Doaitse

Springer
12 図書 Language design and programming methodology : proceedings of a symposium held in Sydney, Australia, 10-11 September 1979

Symposium on Language Design and Programming Methodology, Tobias, Jeffrey M., 1953-, Australian Atomic Energy &hellip;

Springer-Verlag