An Application of Automated Theorem Provers to Computer System Security

Mitchell David Irwin Hirschfeld

  • First published 2025
  • 102 pages
  • English
Genres
Nonfiction › Technology › Computing › ProgrammingNonfiction › Science & mathematics › MathematicsNonfiction › Technology › Computing › CybersecurityNonfiction › Philosophy › Logic

No reviews yet. Be the first.

This edition
Creative Media Partners, LLC, 2025
ISBN
9781025139890
Language
English

Other editions (1)