Pricelists.org 登录注册

Formal Methods and Software Engineering

☆☆☆☆☆ (0 reviews)

Show price history

Lowest price (incl. delivery)

7 435,00 JPY

Offers3

Last updated4 天前

See best offer

卖家	Product price	Delivery	总计	可用性	Updated
SP SpringerNatureLink Shop INT	7 435,00 JPY	free	7 435,00 JPY	可购买	4 天前	View offer
SP SpringerNatureLink Shop INT	61,50 EUR	19,00 EUR	80,50 EUR	可购买	5 天前	View offer
SP Springer Nature Author	61,50 EUR	29,00 EUR	90,50 EUR	可购买	1 周前	View offer

价格和库存可能会有变动。最后更新: 15.08.2026 07:52.

EAN 9789819975846

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 proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023. The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.