Tests and proofs : third international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 : p

Tests and proofs : third international conference TAP 2009 Zurich Switzerland July 2-3 2009 : p

出版社：Berlin ; New York : Springer, c2009.

ISBN：9783642029486

出版年：2009

作者：TAP 2009

资源类型：图书

细分类型：西文文献

2浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

Software composition : 8th international conference, SC 2009, Zurich, Switzerland, July 2-3, 2009 :

作者：SC 2009
ISBN：9783642026546
出版社：Berlin ; New York : Springer, 2009.
出版年：2009

Tests and proofs : 5th international conference, TAP 2011, Zurich, Switzerland, June 30 -July1, 2011

作者：TAP 2011
ISBN：9783642217678
出版社：Berlin : Springer, c2011.
出版年：2011

Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 20

作者：TAP 2007
ISBN：9783540737698
出版社：Berlin ; New York : Springer, c2007.
出版年：2007

Object databases : second international conference, ICOODB 2009, Zurich, Switzerland, July 1-3, 2009

作者：ICOODB 2009
ISBN：9783642146800
出版社：Berlin : Springer, c2010.
出版年：2010

2012 International Conference on Software and System Process (ICSSP 2012) : Zurich, Switzerland, 2-3

作者：International Conference on Software and System Process
ISBN：9781467323512
出版社：Piscataway, N.J. : IEEE, c2012.
出版年：2012

Tests and proofs : 4th international conference, TAP 2010, Málaga, Spain, July 1-2, 2010 : proceedi

作者：TAP 2010
ISBN：9783642139765
出版社：Berlin : Springer, c2010.
出版年：2010