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