Software Engineering and Formal Methods

☆☆☆☆☆ (0 reviews)

Show price history

Lowest price (incl. delivery)

7 450,00 JPY

Typical price7 435,00 PLN

Lowest (90 days)7 435,00 PLN

Offers2

Last updated22 ชั่วโมงที่แล้ว

See best offer

ผู้ขาย	Product price	Delivery	รวม	ความพร้อมจำหน่าย	Updated
SP Springer Nature Author	7 435,00 JPY	15,00 JPY	7 450,00 JPY	มีจำหน่าย	22 ชั่วโมงที่แล้ว	View offer
SP SpringerNatureLink Shop INT	61,50 EUR	free	61,50 EUR	มีจำหน่าย	1 วันที่แล้ว	View offer

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

EAN 9783031171086

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!

This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods.