Shopzilla - Springerbriefs in Applied Sciences and T Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (Paperback)

Browse By Department

Home & Garden

>

Electronics

>

Health & Beauty Suppli..

>

Clothing & Accessories

>

Computers & Software

>

Sports Equipment & Out..

>

Appliances

>

Jewellery & Watches

>

Office Supplies

>

Babies & Kids

>

More Departments

>

Springerbriefs in Applied Sciences and T Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (Paperback)

Springerbriefs in Applied Sciences and T Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (Paperback)

This book describes an accurate analysis technique for energy systems based on formal methods--computer-based mathematical logic techniques for the specification validation and verification of the systems. Correctness and accuracy of the financial...

Walmart

$72.16 $60.64
Free Delivery

Go to store

Items per page