Vertel uw vrienden over dit artikel:
Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols - SpringerBriefs in Applied Sciences and Technology Benjamin Aziz 1st ed. 2022 edition
Prijs
€ 59,99
Besteld in een afgelegen magazijn
Verwachte levering 2 - 10 dec.
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Ontvang meldingen over nieuwe releases van Benjamin Aziz
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 14 december 2021 |
| ISBN13 | 9783030911522 |
| Uitgevers | Springer Nature Switzerland AG |
| Pagina's | 113 |
| Afmetingen | 150 × 220 × 10 mm · 209 g |
| Taal en grammatica | Duits |
![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 (Paperback Book) [2022 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for David Kergel · Qualitative Educational and Bildungs Research (Hardcover Book) [2nd Second 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/171/9783032186171.jpg?david-kergel-2027-qualitative-educational-and-bildungs-research-hardcover-book&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 (Hardcover Book) [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-hardcover-book&class=scaled&v=1780455123)
