Hermenegildo, Manuel.

概要

作品:	0 作品在 2 項出版品 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 analysis30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings / by: (1998 :); Hermenegildo, Manuel.; Morales, Jose F.; SpringerLink (Online service) (書目-電子資源)

Static analysis9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings / by: (1998 :); Hermenegildo, Manuel.; Puebla, German.; SpringerLink (Online service) (書目-電子資源)

Verification, model checking, and abstract interpretation11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings / by: (1998 :); Barthe, Gilles.; Hermenegildo, Manuel.; SpringerLink (Online service) (書目-電子資源)

Practical Aspects of Declarative Languages7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings / by: (1998 :); Cabeza, Daniel.; Hermenegildo, Manuel.; SpringerLink (Online service) (書目-電子資源)

主題