Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Formal Analysis by Abstract Interpretation

Name: Formal Analysis by Abstract Interpretation
Brand: Springer Nature Switzerland AG
SKU: 38438046
Price: 61.72 EUR
Availability: InStock
Author: Aziz
ISBN: 9783030911522

Aziz

Benjamin

Language

English

Book Paperback

Libristo code: 38438046

Publishers Springer Nature Switzerland AG, December 2021

The book provides a gentle introduction and definition of the denotational-based abstract interpreta... Full description

Libristo code: 38438046

150 b

61.72 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Hans Thoma - Rheinfall bei Schaffhausen - 500 Teile (Puzzle)

Game

28.64 €

The book provides a gentle introduction and definition of the denotational-based abstract interpretation method. The book demonstrates how the above method of formal analysis can be used, not only to address the security of systems, but other more general and interesting properties related to the testing, mutating and semantic ambiguity resolution of protocols. 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.