|
|
books
| book details |
Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part II
Edited by Augusto Sampaio, Edited by Marielle Stoelinga
|
|
| on special |
normal price: R 3 069.95
Price: R 2 762.95
|
| book description |
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
| product details |
Normally shipped |
Publisher | Springer Nature Switzerland AG
Published date | 18 Jun 2026
Language |
Format | Paperback / softback
Pages | 733
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-0322-6219-6
Readership Age |
BISAC | computers / machine theory
| other options |
Normally shipped |
Readership Age |
Normal Price | R 3 830.95
Price | R 3 447.95
| on special |
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
|
|
Matt Dinniman
Paperback / softback
480 pages
was: R 515.95
now: R 454.95
|
|
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
|
|
|
|
|
