We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£77.07
It has never been this cheap. We have no record of a lower price.
£77 today · cheaper than every other day in the last 1 months
Security Analysis and Formal Verification on Blockchain and its Applications (Foundations and Trends® in Computer Science)
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 1 days · 1 data points (no recent data)
Historical
Generating forecast…
Not enough data points to display chart (need at least 2 points)
NEW HERE?
Amazon shows you one price. We show you all of them.
Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.
WHAT'S ON THIS PAGE
↑ Price chart
when this has been cheap or pricey
when this has been cheap or pricey
↑ Forecast
where the price is heading next
where the price is heading next
↓ Statistics
all-time high & low, recent range
all-time high & low, recent range
↑ Price alert
name your number, we'll email you
name your number, we'll email you
Price Distribution
Price distribution over 1 days • 1 price levels
Price Analysis
Most common price: £77 (1 days, 100.0%)
Price range: £77 - £77
Price levels: 1 different prices over 1 days
Description
At its core, blockchain is a distributed database that maintains a continuously growing list of records, called blocks, which are securely linked using cryptographic techniques. Each block contains a cryptographic hash of the previous block, a timestamp, and transaction data, making it virtually tamper-proof and resistant to modification. This structure ensures that once a block is added to the chain, the information it contains is immutable and can be trusted by all participants in the network. Blockchains have become an integrated part of our financial infrastructures. Being monetary yet fully automated, blockchain and its applications are unanimously deemed impracticable before undergoing necessary verification. This monograph reviews the previous attempts at verifying two fundamental properties of blockchains: correctness and security. First, it summarizes and categorizes the correctness and security flaws encountered by real-world blockchains. Second, it systematizes the development of formal verification to address the flaws in blockchains, covering the aspects of models, specifications, and techniques. Third, it unveils the progress of security analysis for mitigating the flaws, unveiling the analysis principles being followed, the flaw oracles being devised, and the detection methods being used. Finally, the monograph summarizes the remaining challenges and visions of the trend in the near future. Throughout this monograph, future blockchain verification advances are identified, especially in expanding its applicability, making specification generation easier, and discovering previously unknown vulnerabilities. By identifying gaps such as missing tools for infrastructure-level components and the difficulty of writing formal specifications, this monograph aims to motivate the development of more automated, intelligent, and practical verification frameworks.
Product Specifications
- Format
- paperback
- ASIN
- 1638285683
- Domain
- Amazon UK
- Release Date
- 04 June 2025
- Listed Since
- 09 June 2025
Barcode
No barcode data available
Similar Products You Might Like
98% match
Safety and Trust in Artificial Intelligence with Abstract Interpretation (Foundations and Trends® in Computer Science)
Price unavailable
98% match
The Zero-trust Paradigm: Concepts, Architectures and Applications (Foundations and Trends® in Computer Science)
£80.16
13 Sep 2026
98% match
Artificial Intelligence for Science in Quantum, Atomistic, and Continuum Systems (Foundations and Trends® in Artificial Intelligence)
£85.31
17 Sep 2026
98% match
Trustworthy Machine Learning: From Data to Models (Foundations and Trends® in Artificial Intelligence)
£143.68
17 Sep 2026
98% match
Blockchain and EHR (Advances in Data Science and Computing Technologies Series)
£72.99
23 Sep 2026
98% match
Integer Programming Games (Foundations and Trends® in Artificial Intelligence)
Price unavailable
98% match
Search as Learning (Foundations and Trends® in Computer Science)
£143.68
18 Sep 2026
98% match
Contagion Source Detection in Epidemic and Infodemic Outbreaks: Mathematical Analysis and Network Algorithms (Foundations and Trends® in Networking)
£85.00
30 Sep 2026
98% match
Frameworks for Blockchain Standards, Tools, Testbeds, and Platforms (Advances in Systems Analysis, Software Engineering, and High Performance Computing)
£209.00
02 Oct 2026
98% match
Causal Machine Learning: A Survey and Open Problems (Foundations and Trends® in Artificial Intelligence)
£74.00
18 Sep 2026
98% match
An Extended Active Learning Framework of Entrepreneurship Education and Training (Foundations and Trends® in Entrepreneurship)
£64.93
13 Sep 2026
98% match
Gradient-Based Algorithms for Zeroth-Order Optimization (Foundations and Trends® in Artificial Intelligence)
Price unavailable
98% match
Tutorial on Diffusion Models for Imaging and Vision (Foundations and Trends® in Artificial Intelligence)
Price unavailable
98% match
Optimizing Service Encounters: A Co-productive, Experiential, and People-centric Approach (Foundations and Trends® in Engineering)
Price unavailable
98% match
Blockchain Technology in Supply Chain Management for Society 5.0 (Smart and Intelligent Computing in Engineering)
CRC Press
£86.99
09 Sep 2026
98% match
Industrial, Science and Technology Policy in Africa (Annals of Science and Technology Policy)
£84.15
24 Sep 2026
98% match
Blockchain Technology and the Internet of Things: Challenges and Applications in Bitcoin and Security
CRC Press
£82.91
11 Sep 2026
98% match
Blockchain for Information Security and Privacy
CRC Press
£71.06
13 Sep 2026
98% match
Recommender Systems Meet Large Language Model Agents: A Survey (Foundations and Trends® in Computer Science)
£84.07
26 Sep 2026
98% match
Blockchain for 6G-Enabled Network-Based Applications: A Vision, Architectural Elements, and Future Directions
CRC Press
£103.05
17 Sep 2026
98% match
Applications of Blockchain and Big IoT Systems: Digital Solutions for Diverse Industries
CRC Press
£116.24
24 Sep 2026
98% match
Securing AI-Generated Media With Blockchain Technologies
Information Science Reference
£125.40
05 Sep 2026
98% match
Blockchain Transaction Data Analytics: Complex Network Approaches (Big Data Management)
Springer
£139.62
30 Sep 2026