1 1

Asad Q Ahmed,Osman Hasan,Falah Awwad,Nabil Bastaki

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Dispatches within 7 to 10 working days
£45.53 GBP
£54.99 GBP £45.53 GBP
17% OFF Sold out
Tax included. Shipping calculated at checkout.

YOU SAVE £9.46

  • Condition: Brand new
  • UK Delivery times: Usually arrives within 2 - 3 working days
  • UK Shipping: Fee starts at £2.39. Subject to product weight & dimension
Trustpilot 4.5 stars rating  Excellent
We're rated excellent on Trustpilot.
  • More about Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Format: Paperback / softback
Length: 79 pages
Publication date: 15 August 2021
Publisher: Springer Nature Switzerland AG

Weight: 157g
Dimension: 235 x 155 (mm)
ISBN-13: 9783030784089
Edition number: 1st ed. 2022

This item can be found in:

UK and International shipping information

UK Delivery and returns information:

  • Delivery within 2 - 3 days when ordering in the UK.
  • Shipping fee for UK customers from £2.39. Fully tracked shipping service available.
  • Returns policy: Return within 30 days of receipt for full refund.

International deliveries:

Shulph Ink now ships to Australia, Belgium, Canada, France, Germany, Ireland, Italy, India, Luxembourg Saudi Arabia, Singapore, Spain, Netherlands, New Zealand, United Arab Emirates, United States of America.

  • Delivery times: within 5 - 10 days for international orders.
  • Shipping fee: charges vary for overseas orders. Only tracked services are available for most international orders. Some countries have untracked shipping options.
  • Customs charges: If ordering to addresses outside the United Kingdom, you may or may not incur additional customs and duties fees during local delivery.
View full details