Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part II (Lecture Notes in Computer Science, 16557) - Image 1

£79.00

Springer Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part II (Lecture Notes in Computer Science, 16557)

Name: Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part II (Lecture Notes in Computer Science, 16557)
Brand: Springer
Price: 79.0 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 5 days • 5 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 5 days • 1 price levels

Days at Price

Price Analysis

Most common price: £79 (5 days, 100.0%)

Price range: £79 - £79

Price levels: 1 different prices over 5 days

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3032262194
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 28 June 2026
Listed Since: 01 April 2026

Barcode

No barcode data available

Springer Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part II (Lecture Notes in Computer Science, 16557)

Price History & Forecast

Price Distribution

Price Analysis

Product Specifications

Barcode

Similar Products You Might Like

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II: 14934 (Lecture Notes in Computer Science, 14934)

Proceedings of the 2025 10th International Conference on Multimedia Systems and Signal Processing: ICMSSP 2025, Fukui, Japan, May 9-11 (Lecture Notes in Networks and Systems, 1637)

Passive and Active Measurement: 26th International Conference, PAM 2025, Virtual Event, March 10–12, 2025, Proceedings: 15567 (Lecture Notes in Computer Science, 15567)

Information Security: 27th International Conference, ISC 2024, Arlington, VA, USA, October 23–25, 2024, Proceedings, Part I: 15257 (Lecture Notes in Computer Science, 15257)

MultiMedia Modeling: 31st International Conference on Multimedia Modeling, MMM 2025, Nara, Japan, January 8–10, 2025, Proceedings, Part II: 15521 (Lecture Notes in Computer Science, 15521)

Proceedings of the 26th International Symposium on Advancement of Construction Management and Real Estate (Lecture Notes in Operations Research)

Advances in Cryptology – EUROCRYPT 2026: 45th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Rome, Italy, ... (Lecture Notes in Computer Science, 16543)

Pattern Recognition: 27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part XXVII: 15327 (Lecture Notes in Computer Science, 15327)

Engineering of Complex Computer Systems: 29th International Conference, ICECCS 2025, Hangzhou, China, July 2–4, 2025, Proceedings: 15746 (Lecture Notes in Computer Science, 15746)

Computational Methods in Systems Biology: 22nd International Conference, CMSB 2024, Pisa, Italy, September 16–18, 2024, Proceedings: 14971 (Lecture Notes in Computer Science, 14971)

Advances in Cryptology – EUROCRYPT 2026: 45th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Rome, Italy, ... V (Lecture Notes in Computer Science, 16545)

Data Security and Privacy Protection: Second International Conference, DSPP 2024, Xi'an, China, October 25–28, 2024, Proceedings, Part II: 15216 (Lecture Notes in Computer Science, 15216)

Stabilization, Safety, and Security of Distributed Systems: 26th International Symposium, SSS 2024, Nagoya, Japan, October 20–22, 2024, Proceedings: 14931 (Lecture Notes in Computer Science, 14931)

Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 23rd International Conference, CPAIOR 2026, Rabat, Morocco, ... (Lecture Notes in Computer Science, 16595)

Advanced Data Mining and Applications: 21st International Conference, ADMA 2025, Kyoto, Japan, October 22–24, 2025, Proceedings, Part I (Lecture Notes in Computer Science, 16197)

Wireless Artificial Intelligent Computing Systems and Applications: 19th International Conference, WASA 2025, Tokyo, Japan, June 24–26, 2025, ... (Lecture Notes in Computer Science, 15688)

HCI International 2024 – Late Breaking Papers: 26th International Conference on Human-Computer Interaction, HCII 2024, Washington, DC, USA, June 29 – ... (Lecture Notes in Computer Science, 15376)

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International ... (Lecture Notes in Computer Science, 15220)

Intelligent Human Computer Interaction: 16th International Conference, IHCI 2024, Twente, The Netherlands, November 13–16, 2024, Revised Selected ... (Lecture Notes in Computer Science, 15557)

Pattern Recognition: 27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part XX: 15320 (Lecture Notes in Computer Science, 15320)

Advances in Cryptology – CRYPTO 2025: 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17–21, 2025, Proceedings, Part ... (Lecture Notes in Computer Science, 16006)

Rough Sets: International Joint Conference, IJCRS 2025, Chongqing, China, May 11–13, 2025, Proceedings, Part III: 15710 (Lecture Notes in Computer Science, 15710)

Behavioural and Social Computing: 12th International Conference, BESC 2025, Hong Kong SAR, China, October 16–18, 2025, Proceedings, Part II (Lecture Notes in Computer Science, 16432)

Intelligent Computing: Proceedings of the 2025 Computing Conference, Volume 2: 1424 (Lecture Notes in Networks and Systems, 1424)