馆藏书目查询系统 - 上海图书馆

Author Results for VMCAI 2005 (2005 Paris, France

Cover is for reference only

Verification, model checking, and abstract interpretation：6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings

Corporate Authors: VMCAI 2005 (2005 Paris, France
Group Author: Cousot Radhia
Published: Springer,
Publication Dates: c2005.
Call Number: TP311.1-532/V516/2005

Book

Cover is for reference only

Verification, model checking, and abstract interpretation：6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings

Corporate Authors: VMCAI 2005 (6th 2005 Paris, France); LINK (Online service)
Group Author: Cousot Radhia.
Published: Springer,
Publication Dates: c2005.

Book

Narrow Search