Formal Analysis by Abstract Interpretation Image close
Formal Analysis by Abstract Interpretation by Benjamin Aziz
Formal Analysis by Abstract Interpretation by Benjamin Aziz
Show Hide Adult Content
Formal Analysis by Abstract Interpretation close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Technology  
Energy technology & engineering  
Electrical engineering

Formal Analysis by Abstract Interpretation

Case Studies in Modern Protocols
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$175.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $43.75 with Afterpay Learn more

6 weekly interest-free payments of $29.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 19 Jun - 1 Jul using International Courier

Explore more Springerbriefs in Applied Sciences and Technology

See all products in this series

Lean Innovative Connected Vessels
$162.00
Lean Innovative Connected Vessels
Paperback / softback
Pre-order - out 11 Aug 2024
Smart and Healthy Walking by Tin-Chih Toly Chen
$189.00
Smart and Healthy Walking
by Tin-Chih Toly Chen ~ Paperback / softback
Pre-order - out 26 Jun 2024
Spin-While-Burn by Mohd Shahir Bin Kasim
$121.00
Spin-While-Burn
by Mohd Shahir Bin Kasim ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Low Voltage Power MOSFETs by Jacek Korec
$148.00
Low Voltage Power MOSFETs
by Jacek Korec ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Signal Processing Applications Using Multidimensional Polynomial Splines by Dhananjay Singh
$150.00
Signal Processing Applications Using Multidimensional Polynomial...
by Dhananjay Singh ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Online Algorithms for Optimal Energy Distribution in Microgrids by Yu Wang
$148.00
Online Algorithms for Optimal Energy Distribution in Microgrids
by Yu Wang ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Enhancing Hydrogen Storage Properties of Metal Hybrides by Jacques Huot
$148.00
Enhancing Hydrogen Storage Properties of Metal Hybrides
by Jacques Huot ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Screen-Printing Electrochemical Architectures by Craig E. Banks
$148.00
Screen-Printing Electrochemical Architectures
by Craig E. Banks ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Green Energy Ship Concept by Max F Platzer
$188.00
The Green Energy Ship Concept
by Max F Platzer ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving by Asad Ahmed
$188.00
Formal Analysis of Future Energy Systems Using Interactive Theorem...
by Asad Ahmed ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Special Topics in Information Technology
$84.00
Special Topics in Information Technology
Paperback / softback
Available - Usually ships in 3-4 weeks
Pollutants Generated by the Combustion of Solid Biomass Fuels by Jenny M. Jones
$173.00
Pollutants Generated by the Combustion of Solid Biomass Fuels
by Jenny M. Jones ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Plasmonic Organic Solar Cells by Bo Wu
$148.00
Plasmonic Organic Solar Cells
by Bo Wu ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Economics and Power-intensive Industries by Helga Kristjansdottir
$148.00
Economics and Power-intensive Industries
by Helga Kristjansdottir ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Soliton Coding for Secured Optical Communication Link by Iraj Sadegh Amiri
$149.00
Soliton Coding for Secured Optical Communication Link
by Iraj Sadegh Amiri ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Data Science and Medical Informatics in Healthcare Technologies by Nguyen Thi Dieu Linh
$190.00
Data Science and Medical Informatics in Healthcare Technologies
by Nguyen Thi Dieu Linh ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date NZ
December 14th, 2021
Author
Audience
  • Professional & Vocational
Edition
1st ed. 2022
Illustrations
25 Illustrations, black and white; XII, 113 p. 25 illus.
Pages
113
ISBN-13
9783030911522
Product ID
35614225

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Technology >
Energy technology & engineering >
Electrical engineering
Books >
Non-Fiction >
Technology >
Electronics & communications engineering >
Communications engineering / telecommunications
Books >
Computers & Internet >
Communications & Networking
Books >
Computers & Internet >
Computer hardware >
Network hardware
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation