Número de Cutter-SanbornA995fEntrada «Azi» → 995 · marca de obra “f”

Formal Analysis by Abstract Interpretation

Name: Formal Analysis by Abstract Interpretation
ISBN: 9783030911522

Case Studies in Modern Protocols

Autor	Benjamin Aziz
Editorial	Springer International Publishing AG
Fecha de publicación	2022
Idioma	inglés
ISBN-13	9783030911522
Número de Cutter	`A995f`

Formal Analysis by Abstract Interpretation (2022) — ISBN 9783030911522 | Cutter Number