An Application of Automated Theorem Provers to Computer System Security 1
bokomslag An Application of Automated Theorem Provers to Computer System Security
Data & IT

An Application of Automated Theorem Provers to Computer System Security

Mitchell David Irwin Hirschfeld

Häftad

259:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 5-10 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 102 sidor
  • 2025
  • Författare: Mitchell David Irwin Hirschfeld
  • Format: Häftad
  • ISBN: 9781025143552
  • Språk: Engelska
  • Antal sidor: 102
  • Utgivningsdatum: 2025-06-11
  • Förlag: Hutson Street Press

Du kanske gillar

  1. bokomslag An Application of Automated Theorem Provers to Computer System Security

    An Application of Automated Theorem P...

    Mitchell David Irwin Hirschfeld

    Inbunden

    459:-
  2. bokomslag Application of Automated Theorem Provers to Computer System Security

    Application of Automated Theorem Prov...

    Mitchell David Irwin Hirschfeld

    Pocket

    829:-
  3. bokomslag Prøver Af Danske Folkesagn

    Prøver Af Danske Folkesagn

    Just Mathias Thiele

    Klotband

    499:-
  4. bokomslag Prøver Af Landsmaalet I Norge

    Prøver Af Landsmaalet I Norge

    Ivar Andreas Aasen

    Klotband

    519:-
  5. bokomslag Seventeen Provers of the World

    Seventeen Provers of the World

    Freek Wiedijk

    Pocket

    799:-
  6. bokomslag Little Prover

    Little Prover

    Daniel P Friedman, Carl Eastlund, Daniel P Friedman

    649:-
  7. bokomslag Wanted! Godly Women: A Bible Study for Ladies on the Virtuous Women of Provers 31

    Wanted! Godly Women: A Bible Study fo...

    Linda Singletary

    Häftad

    249:-
  8. bokomslag Prøver Af Landsmaalet I Norge

    Prøver Af Landsmaalet I Norge

    Ivar Andreas Aasen

    Pocket

    289:-
  9. bokomslag Theorem Provers in Circuit Design: Theory, Practice and Experience

    Theorem Provers in Circuit Design: Th...

    Thomas Kropf Ramayya Kumar

    Pocket

    729:-
  10. bokomslag Prøver Af Danske Folkesagn

    Prøver Af Danske Folkesagn

    Just Mathias Thiele

    Pocket

    249:-

Andra av samma författare

  1. bokomslag Application of Automated Theorem Provers to Computer System Security

    Application of Automated Theorem Prov...

    Mitchell David Irwin Hirschfeld

    Pocket

    829:-