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
9781025143552
Language
English
Original edition Originally published in 2025 · English · Creative Media Partners, LLC

Other editions (1)