Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings / Radhia Cousot, David A. Schmidt (eds.)
- 資料種別:
- 図書
- 出版情報:
- Berlin : Springer, c1996
- 形態:
- ix, 388 p. ; 24 cm
- シリーズ名:
- Lecture notes in computer science ; 1145 <BA00009279>
- 著者名:
- ISBN:
- 9783540617396 [3540617396]
- 書誌ID:
- BA2838880X
類似資料:
SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg | |