Benjamin Aziz
Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols
Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols
💎 Earn 227 Points (£2.27) on this item.
We can order this item for you. Delivery usually takes about 4 to 6 weeks.
This item is not held in our immediate stock. We will order it for you after checkout.
Estimated delivery: About 4 to 6 weeks
YOU SAVE £9.57
- Condition: Brand new
- UK Delivery times: Usually arrives within 2 - 3 working days
- UK Shipping: Fee starts at £3.89. Subject to product weight & dimension
Bulk ordering. Want 15 or more copies? Get a personalised quote and bigger discounts. Learn more about bulk orders.
Couldn't load pickup availability
- More about Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols
Format: Paperback / softback
Length: 113 pages
Publication date: 14 December 2021
Publisher: Springer Nature Switzerland AG
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.
Weight: 209g
Dimension: 235 x 155 (mm)
ISBN-13: 9783030911522
Edition number: 1st ed. 2022
UK and International shipping information
UK and International shipping information
We deliver throughout the United Kingdom and to 128 countries and territories worldwide, including the United States, Australia, Canada, Germany, Spain and France.
