Predložene teme unutar tvog pretraživanja.
Prikaz rezultata 1 – 8 od 8 za pretraživanje '"Computer programs Verification."', vrijeme pretraživanja: 0,02s Detaljiziraj rezultate
  1. 1
    The foundations of program verification /
    Knjiga
    od Loeckx, Jacques, 1931-
    Izdano 1984
    Teme: “…Computer programs Verification.…”
    Spremi u popis
    Spremljeno u:
  2. 2
    Compiler specification and verification /
    Knjiga
    od Polak, Wolfgang, 1950-
    Izdano 1981
    Teme: “…Computer programs Verification.…”
    Spremi u popis
    Spremljeno u:
  3. 3
    Verifying concurrent processes using temporal logic /
    Knjiga
    Teme: “…Computer programs Verification.…”
    Spremi u popis
    Spremljeno u:
  4. 4
    A survey of verification techniques for parallel programs /
    Knjiga
    od Barringer, Howard, 1951-
    Izdano 1985
    Teme: “…Computer programs Verification.…”
    Spremi u popis
    Spremljeno u:
  5. 5
    An introduction to the PL/CV2 programming logic /
    Knjiga
    Teme: “…Computer programs Verification.…”
    Spremi u popis
    Spremljeno u:
  6. 6
    Guidelines for formal verification systems /
    Vladin dokument Knjiga
    Izdano 1989
    Teme: “…Computer programs Verification.…”
    Spremi u popis
    Spremljeno u:
  7. 7
    Automatic verification of programs with complex data structures /
    Knjiga
    od Suzuki, Norihisa, 1946-
    Izdano 1980
    Teme: “…Computer programs Verification.…”
    Spremi u popis
    Spremljeno u:
  8. 8
    A practical formal semantic definition and verification system for TYPED LISP /
    Disertacija Knjiga
    od Cartwright, Robert, 1949-
    Izdano 1976
    Teme: “…Computer programs Verification.…”
    Spremi u popis
    Spremljeno u:
Alati za pretraživanje: Preuzmi RSS sažetak – Pošalji ovo pretraživanje e-poštom – Spremi pretraživanje