Interactive Theorem Proving and Program Development

EAN: 9783642058806· Price history

Go to best offer · 74,50 GBP ♡ Track price

Lowest (90 days)

74,50 PLN

2026-08-15

Average (90 days)

81,45 PLN

Highest (90 days)

88,39 PLN

2026-08-08

Current price

74,50 PLN

před 6 dny

30 days 90 days 180 days 1 year

Price history
Aktualizováno	Cena
2026-08-08	88,39
2026-08-15	74,50

Minimum price Average price Lowest: 74,50 PLN

Price statistics (90 days)

Lowest74,50 PLN

Highest88,39 PLN

Average81,45 PLN

Median81,45 PLN

Price changes1

Trend−13,89 PLN

15.08.2026 −26,00 GBP

08.08.2026 —

Get notified when the price drops below your chosen level.

70,78 PLN

67,05 PLN

63,33 PLN

Date	Cena	Change	Source
15.08.2026	74,50 GBP	−26,00 GBP	SpringerNatureLink Shop INT
08.08.2026	100,50 GBP	baseline	SpringerNatureLink Shop INT
08.08.2026	100,50 EUR	baseline	Springer Nature Author

SP SpringerNatureLink Shop INT 74,50 GBP Dostupné

SP Springer Nature Author 100,50 EUR Dostupné

See all offers →