Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part I: 16556 (Lecture Notes in Computer Science, 16556) - Softcover
Synopsis
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
"synopsis" may belong to another edition of this title.
Search results for Formal Methods: 27th International Symposium, FM 2026,...
Stock Image
Formal Methods
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 53769560-n
Stock Image
Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part I (Lecture Notes in Computer Science)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # I-9783032262035
Stock Image
Formal Methods
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 53769560
Stock Image
Formal Methods (Paperback)
Published by
Springer Nature Switzerland AG, Cham, 2026
ISBN 10: 3032262038
ISBN 13: 9783032262035
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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 1822, 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 This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783032262035
Seller Image
Formal Methods
Published by
Springer Nature Switzerland AG Jul 2026, 2026
ISBN 10: 3032262038
ISBN 13: 9783032262035
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 664 pp. Englisch. Seller Inventory # 9783032262035
Stock Image
Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18?22, 2026, Proceedings, Part I (Lecture Notes in Computer Science, 16556)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26406509797
Stock Image
Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18?22, 2026, Proceedings, Part I (Lecture Notes in Computer Science, 16556)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 407725882
Buy New
£ 63.08
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18?22, 2026, Proceedings, Part I (Lecture Notes in Computer Science, 16556)
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND. Seller Inventory # 18406509807
Seller Image
Formal Methods
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Seller Inventory # 3118033337
Buy New
£ 34.94
£ 41.96 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Formal Methods: 27Th International Symposium, Fm 2026, Tokyo, Japan, May 18Â"22, 2026, Proceedings, Part I
Published by
Springer Nature Switzerland Ag, 2026
ISBN 10: 3032262038
ISBN 13: 9783032262035
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 695 pages. 6.10x1.40x9.25 inches. In Stock. Seller Inventory # x-3032262038
Buy New
£ 65.85
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available