Rigorous Software Development
An Introduction to Program Verification
Series: Undergraduate Topics in Computer Science;
-
GET 12% OFF
- Publisher's listprice EUR 117.69
-
48 811 Ft (46 487 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 12% (cc. 5 857 Ft off)
- Discounted price 42 954 Ft (40 909 Ft + 5% VAT)
42 954 Ft
Availability
Not yet published.
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Edition number 2
- Publisher Springer London
- Date of Publication 1 May 2026
- Number of Volumes 1 pieces, Book
- ISBN 9781447175575
- Binding Paperback
- No. of pages290 pages
- Size 235x155 mm
- Language English 700
