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

Application of Automated Theorem Provers to Computer System Security

Mitchell David Irwin Hirschfeld

Pocket

249:-

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: Pocket/Paperback
  • ISBN: 9781025143552
  • Språk: Engelska
  • Antal sidor: 102
  • Utgivningsdatum: 2025-05-22
  • Förlag: Hutson Street Press

Du kanske gillar

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

    Application of Automated Theorem Prov...

    Mitchell David Irwin Hirschfeld

    Klotband

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

    Application of Automated Theorem Prov...

    Mitchell David Irwin Hirschfeld

    Pocket

    819:-
  3. bokomslag Ellie's Wish

    Ellie's Wish

    Joan Mitchell David

    Häftad

    239:-
  4. bokomslag Ellie's Wish

    Ellie's Wish

    Joan Mitchell David

    Inbunden

    379:-
  5. bokomslag Prøver Af Danske Folkesagn

    Prøver Af Danske Folkesagn

    Just Mathias Thiele

    Klotband

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

    Prøver Af Landsmaalet I Norge

    Ivar Andreas Aasen

    Klotband

    519:-
  7. bokomslag Seventeen Provers of the World

    Seventeen Provers of the World

    Freek Wiedijk

    Pocket

    799:-
  8. bokomslag Little Prover

    Little Prover

    Daniel P Friedman, Carl Eastlund, Daniel P Friedman

    649:-
  9. 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:-
  10. bokomslag Prøver Af Landsmaalet I Norge

    Prøver Af Landsmaalet I Norge

    Ivar Andreas Aasen

    Pocket

    289:-