Formal Methods for Distributed System Development: Forte / Pstv 2000 Ifip Tc6 Wg6.1 Joint International Conference on Formal Description Techniques ... in Information and Communication Technology)

by Diego Latella (Editor), Diego Latella (Editor), Tommaso Bolognesi (Editor), Ifip Tc6 Wg6 1 Joint International Confe (Author)

• New

  Hardcover
  2000

  $222.32

  Second, one of the several myths about FM's - the fact that their adoption would eventually eliminate the need for testing - is still quite far from becoming a reality, and, again, this book indicates that testing theory and applications are still remarkably healthy.