Fortell venner om denne varen:
Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols - SpringerBriefs in Applied Sciences and Technology Benjamin Aziz 1st ed. 2022 edition
Pris
NOK 599
Bestillingsvarer
Forventes levert 11. - 19. nov
Julegaver kan byttes frem til 31. januar
Få varsel om nye utgivelser fra Benjamin Aziz
Legg til iMusic ønskeliste
eller
Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols - SpringerBriefs in Applied Sciences and Technology
Benjamin Aziz
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.
113 pages, 25 Illustrations, black and white; XII, 113 p. 25 illus.
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 14. desember 2021 |
| ISBN13 | 9783030911522 |
| Utgivere | Springer Nature Switzerland AG |
| Antall sider | 113 |
| Mål | 150 × 220 × 10 mm · 209 g |
| Språk | Tysk |
![Cover for Deborah Morrison · Brave Work in the Age of Climate Change: A Creative's Guide to Making Compelling Advertising and Brand Messages in Complicated Times (Pocketbok) [2022 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for David Kergel · Qualitative Educational and Bildungs Research (Innbunden bok) [2nd Second 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/171/9783032186171.jpg?david-kergel-2027-qualitative-educational-and-bildungs-research-innbunden-bok&class=scaled&v=1778118707)
![Cover for Martin O. Steinhauser · Computational Multiscale Modeling of Fluids and Solids: Theory and Applications in Computational Science - Graduate Texts in Physics (Innbunden bok) [Fourth Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/396/9783032255396.jpg?martin-o-steinhauser-2027-computational-multiscale-modeling-of-fluids-and-solids-theory-and-applications-in-computational-science-graduate-texts-in-physics-innbunden-bok&class=scaled&v=1780455123)
![Cover for Alan Dix · Statistics for HCI: Making Sense of Quantitative Data - Synthesis Lectures on Human-Centered Informatics (Innbunden bok) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/798/9783032352798.jpg?alan-dix-2027-statistics-for-hci-making-sense-of-quantitative-data-synthesis-lectures-on-human-centered-informatics-innbunden-bok&class=scaled&v=1790612312)
