Formal Methods

Name: Formal Methods
Price: 212.75 AUD
Availability: BackOrder

27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part II

By: Augusto Sampaio (Editor), Marielle Stoelinga (Editor)

Write A Review

Paperback | 31 May 2026

At a Glance

Format
Paperback

Dimensions(cm)
23.5 x 15.5

Paperback

$212.75

or 4 interest-free payments of $53.19 with

Available for Backorder. We will order this from our supplier however there isn't a current ETA.

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

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.