Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Par

USD 82.20 USD

SKU: gzBwhG3M

GTIN: 9783319089690

Condition: Brand New

Microcode Verification – Another Piece of the Microprocessor Verification Puzzle. - Are We There Yet?. 20 Years of Industrial Theorem Proving with SPARK. - Towards a Formally Verified Proof Assistant.

Tags: 9783319089690 itp

Categories: Textbooks, Education & Reference

Specifications

ISBN-13	9783319089690
ISBN	9783319089690

This textbook uses bamboo to reduce its environmental footprint while maintaining quality.

Related Products

Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, Fran

82.20 USD

I Have Itp But Itp Does Not Have Me Mhorgan Stephens by Stephens, Mhorgan D. …

14.59 USD

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton

80.39 USD

How To Lead When Youre Not In Charge Itp

19.34 USD

Official Guide to the Toefl ITP Test

497.20 USD

International Encyclopedia of Business & Management – Complete

126.30 USD

Interactive Theorem Proving : 6th International Conference, Itp 2015, Nanjing…

245.65 USD

Understanding Idiopathic Thrombocytopenic Purpura (Itp): A Comprehensive Guide T

20.79 USD

American Government and Politics Today Schmidt Shelley II Bardes Paperback ISBN…

24.95 USD

Interactive Theorem Proving : 4th International Conference, Itp 2013, Paperba…

115.14 USD