Toon 1 - 6 resultaten van 6 Voor zoekopdracht '"Computer programs Verification."', zoektijd: 0,02s Verfijn jouw resultaten
  1. 1

    Hardware and software: verification and testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, revised selected papers

    Gepubliceerd in 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Elektronisch Conferentie akten E-boek

    Hardware and software: verification and testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, revised selected papers
  2. 2

    Formal methods for industrial critical systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

    Gepubliceerd in 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Elektronisch Conferentie akten E-boek

    Formal methods for industrial critical systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
  3. 3

    The calculus of computation decision procedures with applications to verification door Bradley, Aaron R.

    Gepubliceerd in 2007
    Boek

    The calculus of computation decision procedures with applications to verification
  4. 4

    An introduction to formal program verification door Mili, Ali

    Gepubliceerd in 1985
    Boek

    An introduction to formal program verification
  5. 5

    Software verification and validation realistic project approaches Michael S. Deutsch. door Deutsch, Michael S.

    Gepubliceerd in 1982
    Boek

    Software verification and validation realistic project approaches Michael S. Deutsch.
  6. 6

    Formal methods of program verification and specification

    Gepubliceerd in 1982
    Boek

    Formal methods of program verification and specification

Zoekinstrumenten: