Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols - SpringerBriefs in Applied Sciences and Technology - Benjamin Aziz - Books - Springer Nature Switzerland AG - 9783030911522 - December 14, 2021
In case cover and title do not match, the title is correct

Benjamin Aziz
Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols - SpringerBriefs in Applied Sciences and Technology 1st ed. 2022 edition

Price
HK$ 507
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 7 - 13

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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 Books     Paperback Book   (Book with soft cover and glued back)
Released December 14, 2021
ISBN13 9783030911522
Publishers Springer Nature Switzerland AG
Pages 113
Dimensions 150 × 220 × 10 mm   ·   209 g
Language German  

Mere med samme udgiver

See all of Benjamin Aziz ( e.g. Paperback Book and Hardcover Book )