Zoekresultaten - "Computer software Verification."

Gesuggereerde onderwerpen binnen jouw zoekopdracht.
  • Toon 1 - 9 resultaten van 9
Verfijn jouw resultaten
  1. 1
    Beeld op de omslag

    The software audit guide / door Helgeson, John W., 1945-

    Gepubliceerd in 2009
    Onderwerpen: “…Computer software Verification.…”
    An electronic book accessible through the World Wide Web; click to view
    Elektronisch E-boek

    Toevoegen aan favorieten
    Bewaard in:
  2. 2
    Beeld op de omslag

    Principles of model checking door Baier, Christel

    Gepubliceerd in 2008
    Onderwerpen: “…Computer software Verification.…”
    An electronic book accessible through the World Wide Web; click to view
    Elektronisch E-boek

    Toevoegen aan favorieten
    Bewaard in:
  3. 3
    Beeld op de omslag

    Software safety and security tools for analysis and verification /

    Gepubliceerd in 2012
    Onderwerpen: “…Computer software Verification Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Elektronisch Conferentie akten E-boek

    Toevoegen aan favorieten
    Bewaard in:
  4. 4
    Beeld op de omslag

    Robot framework test automation / door Bisht, Sumit

    Gepubliceerd in 2013
    Onderwerpen: “…Computer software Verification.…”
    An electronic book accessible through the World Wide Web; click to view
    Elektronisch E-boek

    Toevoegen aan favorieten
    Bewaard in:
  5. 5
    Beeld op de omslag

    Engineering dependable software systems /

    Gepubliceerd in 2013
    Onderwerpen: “…Computer software Verification Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Elektronisch Conferentie akten E-boek

    Toevoegen aan favorieten
    Bewaard in:
  6. 6
    Beeld op de omslag

    Dependable software systems engineering /

    Gepubliceerd in 2015
    Onderwerpen: “…Computer software Verification Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Elektronisch E-boek

    Toevoegen aan favorieten
    Bewaard in:
  7. 7
    Beeld op de omslag

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

    Gepubliceerd in 2008
    Onderwerpen: “…Computer software Verification.…”
    An electronic book accessible through the World Wide Web; click to view
    Elektronisch E-boek

    Toevoegen aan favorieten
    Bewaard in:
  8. 8
    Beeld op de omslag

    Verification of infinite-state systems with applications to security

    Gepubliceerd in 2006
    Onderwerpen: “…Computer software Verification Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Elektronisch Conferentie akten E-boek

    Toevoegen aan favorieten
    Bewaard in:
  9. 9
    Beeld op de omslag

    Metamodeling-driven IP reuse for SoC integration and microprocessor design door Mathaikutty, Deepak A.

    Gepubliceerd in 2009
    Onderwerpen: “…Computer software Verification.…”
    An electronic book accessible through the World Wide Web; click to view
    Elektronisch E-boek

    Toevoegen aan favorieten
    Bewaard in:

Zoekinstrumenten: