Engineering Secure Internet of Things Systems
Benjamin Aziz, Alvaro Arenas, Bruno Crispo
Inbunden, 2016
1 932 kr
Formal Analysis by Abstract Interpretation
Case Studies in Modern Protocols
652 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, 2024
437 kr
Modern Solid Waste Management in Practice
Anna Bernstad Saraiva Schott, Henrik Aspegren, Mimmi Bissmont, Jes la Cour Jansen
Häftad, 2014
544 kr
Advanced Energy Saving and its Applications in Industry
Kazuo Matsuda, Yasuki Kansha, Chihiro Fushimi, Atsushi Tsutsumi, Akira Kishimoto
Häftad, 2012
544 kr
Modeling of Thermo-Electro-Mechanical Manufacturing Processes
C. V. Nielsen, W. Zhang, L. M. Alves, N. Bay, Niels Bay
Häftad, 2012
544 kr
Modernization Potential of Gas Turbines in the Coal-Fired Power Industry
Ryszard Bartnik
Häftad, 2013
544 kr
GIS to Support Cost-effective Decisions on Renewable Sources
Alberto Gemelli, Adriano Mancini, Claudia Diamantini, Sauro Longhi
Häftad, 2013
544 kr
Hoppa över listan
Du kanske också är intresserad av
Engineering Secure Internet of Things Systems
Benjamin Aziz, Alvaro Arenas, Bruno Crispo
Inbunden, 2016
1 932 kr
- -22%
- 4 för 3
Del 1
- -19%
- -23%
- Nyhet
Del 2
- 4 för 3
- -30%
- 4 för 3
Del 11
- -22%
Del 3