Giacobazzi, Roberto.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Static analysis = 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings /
by:
Giacobazzi, Roberto.; SpringerLink (Online service); International Static Analysis Symposium (2004 :)
(書目-語言資料,印刷品)
Static analysis = 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings /
by:
International Static Analysis Symposium (2004 :); Giacobazzi, Roberto.; NetLibrary, Inc.
(書目-電子資源)
Analysis, verification and transformation for declarative programming and intelligent systems = essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday /
by:
Lopez-Garcia, Pedro.; Gallagher, John P.; Giacobazzi, Roberto.; Hermenegildo, Manuel.; SpringerLink (Online service)
(書目-電子資源)