Rezultaty 31 - 40 Rezultaty od 44 Dla wyszukiwania '"Computer software Verification"', Czas wyszukiwania: 0,02s Redukuj rezultaty
  1. 31

    Data flow analysis theory and practice od Khedker, Uday

    Wydane 2009
    Książka

    Data flow analysis theory and practice
  2. 32

    Principles of model checking od Baier, Christel

    Wydane 2008
    Table of contents only
    Książka

    Principles of model checking
  3. 33

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS od Yoeli, Michael 1917-

    Wydane 2008
    Książka

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS
  4. 34

    Verification, validation and testing in software engineering

    Wydane 2007
    Available for University of the Philippines Baguio with URL: http://go.galegroup.com/ps/i.do?id=GALE|9781591408536&v=2.1&u=phdiliman&it=aboutBook&p=GVRL&sw=w. Click here to request
    Electronic Resource

    Verification, validation and testing in software engineering
  5. 35

    Verification, validation and testing in software engineering

    Wydane 2007
    Available for University of the Philippines Diliman via Gale Virtual Reference Library. Click here to access
    Electronic Resource

    Verification, validation and testing in software engineering
  6. 36

    Software inspection an industry best practice od Wheeler, David A.

    Wydane 1996
    Książka

    Software inspection an industry best practice
  7. 37

    Extensions of the UNITY methodology compositionality, fairness, and probability in parallelism od Rao, Josyula Ramachandra 1962-

    Wydane 1995
    Książka

    Extensions of the UNITY methodology compositionality, fairness, and probability in parallelism
  8. 38

    Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992.

    Wydane 1993
    Książka

    Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992.
  9. 39

    Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993.

    Wydane 1993
    Książka

    Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993.
  10. 40

    Verification and validation of rule-based expert systems od Smith, Suzanne 1953-

    Wydane 1993
    Książka

    Verification and validation of rule-based expert systems

Narzędzie wyszukiwania: