Bücher Wenner
Olga Grjasnowa liest aus "JULI, AUGUST, SEPTEMBER
04.02.2025 um 19:30 Uhr
Formal Analysis by Abstract Interpretation
Case Studies in Modern Protocols
von Benjamin Aziz
Verlag: Springer International Publishing
Reihe: SpringerBriefs in Applied Sciences and Technology
E-Book / PDF
Kopierschutz: PDF mit Wasserzeichen

Hinweis: Nach dem Checkout (Kasse) wird direkt ein Link zum Download bereitgestellt. Der Link kann dann auf PC, Smartphone oder E-Book-Reader ausgeführt werden.
E-Books können per PayPal bezahlt werden. Wenn Sie E-Books per Rechnung bezahlen möchten, kontaktieren Sie uns bitte.

ISBN: 978-3-030-91153-9
Auflage: 1st ed. 2022
Erschienen am 13.12.2021
Sprache: Englisch
Umfang: 113 Seiten

Preis: 64,19 €

64,19 €
merken
zum Hardcover 64,19 €
Inhaltsverzeichnis

Introduction

Chapter 1: Program Analysis


Chapter 2: Process Algebra


Chapter 3: First Case Study: The MQTT Protocol


Chapter 4: Second Case Study: The Hermes Protocol


Chapter 5: Third Case Study: An EV Charging Protocol


Chapter 6: Conclusion


Bibliography


andere Formate
weitere Titel der Reihe