Podobne hasła w twoim wyszukiwaniu.
Rezultaty 1 - 8 Rezultaty od 8 Dla wyszukiwania '"Computer programs Verification."', Czas wyszukiwania: 0,02s Redukuj rezultaty
  1. 1
    The foundations of program verification /
    Książka
    od Loeckx, Jacques, 1931-
    Wydane 1984
    Hasła przedmiotowe: “…Computer programs Verification.…”
    Dodaj do listy ulubionych książek
    Zapisane w:
  2. 2
    Compiler specification and verification /
    Książka
    od Polak, Wolfgang, 1950-
    Wydane 1981
    Hasła przedmiotowe: “…Computer programs Verification.…”
    Dodaj do listy ulubionych książek
    Zapisane w:
  3. 3
    Verifying concurrent processes using temporal logic /
    Książka
    Hasła przedmiotowe: “…Computer programs Verification.…”
    Dodaj do listy ulubionych książek
    Zapisane w:
  4. 4
    A survey of verification techniques for parallel programs /
    Książka
    od Barringer, Howard, 1951-
    Wydane 1985
    Hasła przedmiotowe: “…Computer programs Verification.…”
    Dodaj do listy ulubionych książek
    Zapisane w:
  5. 5
    An introduction to the PL/CV2 programming logic /
    Książka
    Hasła przedmiotowe: “…Computer programs Verification.…”
    Dodaj do listy ulubionych książek
    Zapisane w:
  6. 6
    Guidelines for formal verification systems /
    Dokument rządowy Książka
    Wydane 1989
    Hasła przedmiotowe: “…Computer programs Verification.…”
    Dodaj do listy ulubionych książek
    Zapisane w:
  7. 7
    Automatic verification of programs with complex data structures /
    Książka
    od Suzuki, Norihisa, 1946-
    Wydane 1980
    Hasła przedmiotowe: “…Computer programs Verification.…”
    Dodaj do listy ulubionych książek
    Zapisane w:
  8. 8
    A practical formal semantic definition and verification system for TYPED LISP /
    Praca dyplomowa Książka
    od Cartwright, Robert, 1949-
    Wydane 1976
    Hasła przedmiotowe: “…Computer programs Verification.…”
    Dodaj do listy ulubionych książek
    Zapisane w:
Narzędzie wyszukiwania: Abonuj RSS – Wyślij rezultaty emailem – Zapisz wyszukiwanie