Formal Analysis by Abstract Interpretation
Case Studies in Modern Protocols
Häftad, Engelska, 2021
839 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
The book provides a gentle introduction and definition of the denotational-based abstract interpretation method. 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.
Produktinformation
- Utgivningsdatum2021-12-14
- Mått155 x 235 x undefined mm
- FormatHäftad
- SpråkEngelska
- SerieSpringerBriefs in Applied Sciences and Technology
- Antal sidor113
- FörlagSpringer Nature Switzerland AG
- ISBN9783030911522
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Hoppa över listan
Du kanske också är intresserad av
- Bokrea
- Bokrea
- Bokrea
- Bokrea
- Bokrea
Del 3
- Bokrea
Del 6
- Bokrea
Del 2
- Bokrea
- Bokrea
Del 1