ISBN: 9783030911522 - formal analysis by abstract interpretation: case studies in modern protocols (springerbriefs in applied sciences and technology) (5 Ergebnisse)
Sprache: Englisch
Verlag: Springer, 2021
Serie: Buch 180 von 472 - SpringerBriefs in Applied Sciences and Technology
- Softcover
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandKennys Bookshop and Art Galleries Ltd.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 78,36
EUR 9,50 VersandVersand von Irland nach USAAnzahl: 15 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Springer, 2021
Serie: Buch 180 von 472 - SpringerBriefs in Applied Sciences and Technology
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 80,99
EUR 11,81 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In English.
Sprache: Englisch
Verlag: Springer, 2021
Serie: Buch 180 von 472 - SpringerBriefs in Applied Sciences and Technology
- Softcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 101,58
EUR 9,46 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Springer, 2021
Serie: Buch 180 von 472 - SpringerBriefs in Applied Sciences and Technology
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 78,93
EUR 35,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The book provides a gentle introduction and definition of the denotational-based abstract interpretation method. The book demonstrates how the above method of formal analysis can be used, not only to address the security of systems, but other more general and interesting properties related to the testing, mutating and semantic ambiguity resolution of protocols. The book presents three case studies, all related to current complex protocols and standards used in industry, particularly in the context of IoT and Industry 4.0.…
Weitere BilderSprache: Englisch
Verlag: Springer, 2021
Serie: Buch 180 von 472 - SpringerBriefs in Applied Sciences and Technology
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 59,65
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Formal Analysis by Abstract Interpretation | Case Studies in Modern Protocols | Benjamin Aziz | Taschenbuch | SpringerBriefs in Applied Sciences and Technology | xii | Englisch | 2021 | Springer | EAN 9783030911522 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …
