Povej prijatelju o tem izdelku:
Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols - SpringerBriefs in Applied Sciences and Technology Benjamin Aziz 1st ed. 2022 edition
Cena
€ 59,99
Naročeno iz oddaljenega skladišča
Predvidena dobava 13. - 21. okt
Prejemajte obvestila o novih izdajah izvajalca Benjamin Aziz
Kaj pravijo naše stranke:
Dodaj na svoj seznam želja iMusic
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.
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 14. decembra 2021 |
| ISBN13 | 9783030911522 |
| Založniki | Springer Nature Switzerland AG |
| Strani | 113 |
| Dimenzije | 150 × 220 × 10 mm · 209 g |
| Jezik | Nemščina |
![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 The Palgrave Handbook of Criminology and the Global South, 2nd ed (N/A) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/195/9783032074195.jpg?2027-the-palgrave-handbook-of-criminology-and-the-global-south-2nd-ed&class=scaled&v=1788187945)
![Cover for Matthew Harker · Fractional Differential Equations: Numerical Methods for Applications - Studies in Systems, Decision and Control (Hardcover Book) [2021 edition] (2027)](https://imusic.b-cdn.net/images/item/original/769/9783030323769.jpg?matthew-harker-2027-fractional-differential-equations-numerical-methods-for-applications-studies-in-systems-decision-and-control-hardcover-book&class=scaled&v=1604147403)
![Cover for Sandro Skansi · Introduction to Deep Learning: Neural Networks, Large Language Models and Agentic AI - Undergraduate Topics in Computer Science (Paperback Book) [Second Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/597/9783032254597.jpg?sandro-skansi-2027-introduction-to-deep-learning-neural-networks-large-language-models-and-agentic-ai-undergraduate-topics-in-computer-science-paperback-book&class=scaled&v=1780344601)
