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

Name: Formal Methods
Brand: Springer Nature Switzerland AG
SKU: 9783032262196
Price: 14200 KES
Availability: OutOfStock
ISBN: 9783032262196

Book Details

Format Paperback / softback

Book Series Lecture Notes in Computer Science

ISBN-10 3032262194

ISBN-13 9783032262196

Publisher Springer Nature Switzerland AG

Imprint Springer Nature Switzerland AG

Country of Manufacture GB

Country of Publication GB

Publication Date Jun 18th, 2026

Print length 733 Pages

Product Classification: Computer hardware Programming & scripting languages: general Programming and scripting languages: general Software Engineering Mathematical theory of computation Expert systems / knowledge-based systems Natural language & machine translation Natural language and machine translation

KSh 14,200.00

Currently unavailable 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

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 proceedings also include 4 invited talks, 8 tutorial papers, and 9 papers from the industry day track. and Main Track (1)Part II: Main Track (2);

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

Get Formal Methods by Augusto Sampaio at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer Nature Switzerland AG and it has 733 pages.