Rigorous Software Development: An Introduction to Program Verification
+ HUF3,844.00 Shipping
Rigorous Software Development: An Introduction to Program Verification
- Brand: Unbranded
Rigorous Software Development: An Introduction to Program Verification
- Brand: Unbranded
HUF30,690.00
14-Day Returns Policy
HUF30,690.00
14-Day Returns Policy
Payment methods:
Description
Rigorous Software Development: An Introduction to Program Verification
- Brand: Unbranded
- Category: Computing & Internet
-
Format: Paperback
-
Language: English
-
Publication Date: 2011
-
Length: Pages: 307
-
Size: 155 mm X 235 mm
-
Publisher / Label: Springer London LTD
-
Author: Josâ-® Bacelar Almeida
- Fruugo ID: 336428504-740038879
- ISBN: 9780857290175
Delivery
Dispatched within 5 days
-
STANDARD: HUF3,844.00 - Delivery between Tue 21 July 2026–Thu 30 July 2026
Shipping from United Kingdom.
Returns & Cancellations
Returns
We do our best to ensure that the products that you order are delivered to you in full and according to your specifications. However, should you receive an incomplete order, or items different from the ones you ordered, or there is some other reason why you are not satisfied with the order, you may return the order, or any products included in the order, and receive a full refund for the items.
Cancellations
You have the right to withdraw from your purchase within 14 days from receiving your order without giving a reason. To exercise your right easily, you can use the "Cancel my order" link in the footer of every page or within your Fruugo account under "Orders". Once you exercise your right to withdraw, we will send you an email acknowledgment. If your order has already been shipped by the retailer, we will provide you with the necessary return instructions to ensure your refund is processed promptly.