ISBN: 9781025143552 - an application of automated theorem provers to computer system security (1 Ergebnisse)

Mitchell David Irwin Hirschfeld

Sprache: Englisch

Verlag: Creative Media Partners, LLC Mai 2025, 2025

ISBN 10 / ISBN 13: 1025143558 / 9781025143552

Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH, Einbeck, Deutschland