Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part I

by Augusto Sampaio , Marielle Stoelinga
Save 17% Save 17%
Current price ₹4,567.00
Original price ₹5,481.00
Original price ₹5,481.00
Original price ₹5,481.00
(-17%)
₹4,567.00
Current price ₹4,567.00

Imported Edition - Ships in 18-21 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Paperback
  • ISBN13: 9783032262035
  • Binding: Paperback
  • Subject: N/A
  • Publisher: Springer
  • Publisher Imprint: Springer
  • Publication Date:
  • Pages: 664
  • Original Price: GBP 34.99
  • Language: English
  • Edition: N/A
  • Item Weight: 962 grams
  • BISAC Subject(s): Computer Science

The open access book set LNCS 16556 + 16557 constitutes the refereed proceedings of the 27th International Symposium on Formal Methods, FM 2026, held in Tokyo, Japan, during May 18-22, 2026.

The 49 full and 2 short papers included in these proceedings were carefully reviewed and selected from 239 submissions. The proceedings also include 4 invited talks, 8 tutorial papers, and 9 papers from the industry day track. The contributions were organized in topical sections as follows:

Part I: Invited Papers; and Main Track (1)

Part II: Main Track (2); Tests and Proofs Track (TAP); Tutorial Track; and Industry Day Track

Trusted for over 49 years

Family Owned Company

Secure Payment

All Major Credit Cards/Debit Cards/UPI & More Accepted

New & Authentic Products

India's Largest Distributor

Need Support?

Whatsapp Us