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

1

Cover is for reference only

Services and visualization：towards user-friendly design : ACoS'98, VISUAL'98, AIN'97 selected papers

Corporate Authors: ACoS'98 (1998 University of Lisbon) (University of Lisbon)); VISUAL'98 (1998 University of Lisbon) (University of Lisbon)); AIN'97 (1997 University of Bologna at Cesena) (University of Bologna at Cesena))
Group Author: Margaria Tiziana.
Published: Springer,
Publication Dates: 1998.
Call Number: TP393-532/S491/1997,1998/

Book

2

Cover is for reference only

Leveraging applications of formal methods, verification and validation：Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings

Corporate Authors: ISoLA 2008 (2008 Chalkidikē, Greece); SpringerLink (Online service)
Group Author: Margaria Tiziana.; Steffen Bernhard.
Published: Springer,
Publication Dates: 2008.

Book

3

Cover is for reference only

Correct hardware design and verification methods：11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings

Corporate Authors: CHARME 2001 (2001 Livingston, Scotland)
Group Author: Margaria Tiziana.; Melham T. F.; (Tom F.)
Published: Springer,
Publication Dates: c2001.
Call Number: TP303-532/A244/2001

Book

Narrow Search