Formal Methods

☆☆☆☆☆ (0 reviews)

Show price history

Lowest price (incl. delivery)

62,59 EUR

Typical price43,50 PLN

Lowest (90 days)41,59 PLN

Offers2

Last updated1 สัปดาห์ที่แล้ว

See best offer

Price history (90 days)

Full history

2026-08-08 2026-08-14

ประวัติราคา
อัปเดตเมื่อ	ราคา
2026-08-08	41,59
2026-08-14	41,59

ผู้ขาย	Product price	Delivery	รวม	ความพร้อมจำหน่าย	Updated
SP SpringerNatureLink Shop INT	43,59 EUR	19,00 EUR	62,59 EUR	มีจำหน่าย	4 วันที่แล้ว	View offer
SP Springer Nature Author	47,18 EUR	15,00 EUR	62,18 EUR	มีจำหน่าย	1 สัปดาห์ที่แล้ว	View offer

ราคาและความพร้อมจำหน่ายอาจมีการเปลี่ยนแปลง อัปเดตล่าสุด: 08.08.2026 09:13.

EAN 9783032262196

Springer Nature

0,0

☆☆☆☆☆

0 reviews

5★ 0%

4★ 0%

3★ 0%

2★ 0%

1★ 0%

Product reviews

Name

Rating

Your review

No reviews yet — be the first!

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