Numerical Software Verification

☆☆☆☆☆ (0 reviews)

Show price history

Lowest price (incl. delivery)

68,99 USD

Typical price490,05 PLN

Lowest (90 days)35,99 PLN

Offers19

Last updated1週間前

See best offer

Price history (90 days)

Full history

2026-08-08 2026-08-15

価格推移
更新日時	価格
2026-08-08	35,99
2026-08-14	35,99
2026-08-15	51,99

販売者	Product price	Delivery	合計	在庫状況	Updated
SP SpringerNatureLink Shop INT	39,99 USD	29,00 USD	68,99 USD	在庫あり	3日前	View offer
SP SpringerNatureLink Shop INT	39,99 USD	free	39,99 USD	在庫あり	3日前	View offer
SP SpringerNatureLink Shop INT	39,99 USD	19,00 USD	58,99 USD	在庫あり	3日前	View offer
SP SpringerNatureLink Shop INT	7 149,00 JPY	25,00 JPY	7 174,00 JPY	在庫あり	2日前	View offer
SP SpringerNatureLink Shop INT	7 149,00 JPY	29,00 JPY	7 178,00 JPY	在庫あり	2日前	View offer
SP SpringerNatureLink Shop INT	7 149,00 JPY	25,00 JPY	7 174,00 JPY	在庫あり	2日前	View offer
SP Springer Nature Author	7 149,00 JPY	15,00 JPY	7 164,00 JPY	在庫あり	1週間前	View offer
SP SpringerNatureLink Shop INT	49,99 USD	free	49,99 USD	在庫あり	3日前	View offer
SP SpringerNatureLink Shop INT	49,99 USD	25,00 USD	74,99 USD	在庫あり	3日前	View offer
SP SpringerNatureLink Shop INT	49,99 USD	19,00 USD	68,99 USD	在庫あり	3日前	View offer
SP SpringerNatureLink Shop INT	54,99 USD	29,00 USD	83,99 USD	在庫あり	2日前	View offer
SP SpringerNatureLink Shop INT	54,99 USD	25,00 USD	79,99 USD	在庫あり	2日前	View offer
SP SpringerNatureLink Shop INT	54,99 USD	19,00 USD	73,99 USD	在庫あり	2日前	View offer
SP SpringerNatureLink Shop INT	54,99 USD	15,00 USD	69,99 USD	在庫あり	2日前	View offer
SP SpringerNatureLink Shop INT	54,99 USD	25,00 USD	79,99 USD	在庫あり	2日前	View offer
SP SpringerNatureLink Shop INT	54,99 USD	29,00 USD	83,99 USD	在庫あり	2日前	View offer
SP SpringerNatureLink Shop INT	59,00 EUR	29,00 EUR	88,00 EUR	在庫あり	2日前	View offer
SP SpringerNatureLink Shop INT	59,00 EUR	15,00 EUR	74,00 EUR	在庫あり	2日前	View offer
SP SpringerNatureLink Shop INT	59,00 EUR	19,00 EUR	78,00 EUR	在庫あり	2日前	View offer

価格や在庫状況は変更される場合があります。最終更新: 08.08.2026 23:08.

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 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event. The 3 full papers presented together with 3 short papers, 2 keynote abstracts and 4 invited abstracts were carefully reviewed and selected from numerous submissions. The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.