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

1

Cover is for reference only

Verification, model checking, and abstract interpretation：4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings

Corporate Authors: LINK Online service
Group Author: Zuck Lenore D 1958-
Published: Springer-Verlag,
Publication Dates: c2003.
Call Number: TP311.1-532/V516/2003

Book

2

Cover is for reference only

Tools and algorithms for the construction and analysis of systems：11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings

Corporate Authors: TACAS 2005 (2005 Edinburgh, Scotland; ETAPS 2005 (2005 Edinburgh, Scotland)
Group Author: Halbwachs Nicolas; Zuck Lenore D 1958-
Published: Springer,
Publication Dates: c2005.
Call Number: TP338.8-532/T671/2005

Book

3

Cover is for reference only

Tools and algorithms for the construction and analysis of systems：11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings

Corporate Authors: TACAS 2005 (2005 Edinburgh, Scotland); LINK (Online service); ETAPS 2005 (2005 Edinburgh, Scotland)
Group Author: Halbwachs Nicolas.; Zuck Lenore D., 1958-
Published: Springer,
Publication Dates: c2005.

Book

4

Cover is for reference only

Verification, model checking, and abstract interpretation：9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings

Corporate Authors: VMCAI 2008 (2008 San Francisco, Calif.); SpringerLink (Online service)
Group Author: Logozzo Francesco.; Peled Doron, 1962-; Zuck Lenore D., 1958-
Published: Springer,
Publication Dates: c2008.

Book

Narrow Search