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

1

Cover is for reference only

Testing of communicating systems：proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems (IWTCS'98), August 31-September 2, 1998, Tomsk, Russia

Corporate Authors: IFIP TC6 International Workshop on Testing of Communicating Systems (11th 1998 Tomsk, Russia
Group Author: Petrenko Alexandre; Yevtushenko Nina
Published: Kluwer,
Publication Dates: c1998.
Call Number: TN91-532/I61.5/1998/

Book

2

Cover is for reference only

Formal approaches to software testing：Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers

Corporate Authors: FATES 2003 (2003 Montraeal, Quaebec); IEEE International Automated Software Engineering Conference 2003 Montraeal, Quaebec) (Montraeal, Quaebec))
Group Author: Ulrich Andreas, Dr. Ing.; Petrenko Alexandre.
Published: Springer-Verlag,
Publication Dates: c2004.
Call Number: TP31-532/I618-1/2003

Book

3

Cover is for reference only

Testing of software and communicating systems：19th IFIP TC6/WG6.1 international conference, TestCom 2007, 7th international workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007 : proceedings

Corporate Authors: IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (19th 2007 Tallinn, Estonia); FATES 2007 (2007 Tallinn, Estonia) (Tallinn, Estonia)); International Federation for Information Processing. Technical Committee 6.; SpringerLink (Online service)
Group Author: Petrenko Alexandre.
Published: Springer,
Publication Dates: c2007.

Book

4

Cover is for reference only

Testing software and systems：22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings

Corporate Authors: ICTSS 2010 (2010 Natal, Brazil); SpringerLink (Online service)
Group Author: Simão Adenilso.; Maldonado José Carlos.; Petrenko Alexandre.
Published: Springer,
Publication Dates: 2010.

Book

Narrow Search