Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised ... / Programming and Software Engineering)

by JimWoodcock (Editor), Bertrand Meyer (Editor)

• New

  Paperback
  2008

  $117.00

  A Step Towards Verified Software Worries about the reliability of software are as old as software itself;

• New

  Paperback
  2008

  $64.28

  This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008.