Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols 2022 Edition Contributor(s): Aziz, Benjamin (Author) |
|
ISBN: 3030911527 ISBN-13: 9783030911522 Publisher: Springer OUR PRICE: $61.74 Product Type: Paperback - Other Formats Published: December 2021 |
Additional Information |
BISAC Categories: - Mathematics | Logic - Computers | Networking - Hardware - Technology & Engineering | Electrical |
Physical Information: 0.27" H x 6.14" W x 9.21" (0.42 lbs) 113 pages |