Engineering Secure Internet of Things Systems
Benjamin Aziz, Alvaro Arenas, Bruno Crispo
Inbunden
1 932 kr
Formal Analysis by Abstract Interpretation
Case Studies in Modern Protocols
Häftad, Engelska, 2021
Del i serien SpringerBriefs in Applied Sciences and Technology
642 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Mer från samma serie
Evolution of New Working Spaces
Ilaria Mariotti, Elisabete Tomaz, Grzegorz Micek, Carles Méndez-Ortega
Häftad
431 kr
Modern Solid Waste Management in Practice
Anna Bernstad Saraiva Schott, Henrik Aspegren, Mimmi Bissmont, Jes la Cour Jansen
Häftad
536 kr
Advanced Energy Saving and its Applications in Industry
Kazuo Matsuda, Yasuki Kansha, Chihiro Fushimi, Atsushi Tsutsumi, Akira Kishimoto
Häftad
536 kr
Modeling of Thermo-Electro-Mechanical Manufacturing Processes
C. V. Nielsen, W. Zhang, L. M. Alves, N. Bay, Niels Bay
Häftad
536 kr
GIS to Support Cost-effective Decisions on Renewable Sources
Alberto Gemelli, Adriano Mancini, Claudia Diamantini, Sauro Longhi
Häftad
536 kr
Hoppa över listan
Du kanske också är intresserad av
Engineering Secure Internet of Things Systems
Benjamin Aziz, Alvaro Arenas, Bruno Crispo
Inbunden
1 932 kr
- -22%
Del 1
- -22%
Del 3
- 4 för 3
- 4 för 3
Del 1
- Nyhet
- 4 för 3
- Signerad!
- -22%
Del 4