
Formal Methods
27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part II
By: Augusto Sampaio (Editor), Marielle Stoelinga (Editor)
Paperback | 31 May 2026
At a Glance
Paperback
$212.75
Available for Backorder. We will order this from our supplier however there isn't a current ETA.
ISBN: 9783032262196
ISBN-10: 3032262194
Series: Lecture Notes in Computer Science
Published: 31st May 2026
Format: Paperback
Language: English
Country of Publication: GB
Dimensions (cm): 23.5 x 15.5
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.
Defective items
If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.
For more info please visit our Help Centre.
You Can Find This Book In
This product is categorised by
- Non-FictionComputing & I.T.Computer Hardware
- Non-FictionComputing & I.T.Computer ScienceArtificial IntelligenceExpert Systems & Knowledge-Based Systems
- Non-FictionComputing & I.T.Computer Programming & Software DevelopmentSoftware Engineering
- Non-FictionComputing & I.T.Computer ScienceArtificial IntelligenceNatural Language & Machine Translation
- Non-FictionComputing & I.T.Computer Programming & Software DevelopmentProgramming & Scripting Languages
- Non-FictionComputing & I.T.Computer ScienceMathematical Theory of Computation
























