Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions : 4171 by Bertrand Meyer - Paperback

Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions : 4171 by Bertrand Meyer - Paperback

SAR574.64
(0) Write a Review
SKU:
9783540691471
UPC:
9783540691471

Product Description

ISBN: 9783540691471
TITLE: Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions : 4171
AUTHOR: Bertrand Meyer
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 7 Jul 2008

Other Details

ISBN:
9783540691471
Author:
Bertrand Meyer
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher Date:
Published:7 Jul 2008
Book Format:
Paperback

Related Products

Popular Trending Products