Formal methods for trustworthy computer systems (FM89) : report from FM89--a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, 23-27 July 1989, Halifax, Canada

Formal methods for trustworthy computer systems (FM89) : report from FM89--a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, 23-27 July 1989, Halifax, Canada
This single book has all you've
been looking for, doesn't it ?


Buy it Now!





Living in UK? Get It Here!
Living in Deutschland? Get It Here!
Living in France? Get It Here!


    Back to:
  Testing

  Software Design

  Main Index


      Search:   Keywords:

 

In Association with Amazon.com, Amazon.co.uk, Amazon.de, Amazon.fr
Copyright (c) by Eugene Kisly and Victor Kisly, 1999-2000