Copied Interactive Theorem Proving
Interactive Theorem Proving
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Recent Advances in Intrusion Detection
$54.99
A Practical Guide to Pharmacological Biotechnology
$89.99
MARS Applications in Geotechnical Engineering Systems
$84.99
Endogenous Market Structures and the Macroeconomy
$129.00
Mister Magic - A Novel by Kiersten White
$28.00
FPGA-based Digital Convolution for Wireless Applications
$139.99
Qualittssicherung durch Softwaretests
$37.99
Gesammelte Mathematische Werke, Wissenschaftlicher Nachlass und Nachtrge - Collected Papers
$79.99
The Biology of Fungi
$54.99
Die Steuerung der Materialbewegung in Fabriken mit Einzel- und Massen-Fertigung
$59.99
Qualittsbezogene Betriebsvergleiche im ffentlichen Personennahverkehr Nordrhein-Westfalens
$59.99
Elementary Galois Theory
$54.99
Attribute Grammars
$39.99
Politics, Society and the Middle Class in Modern Ireland
$54.99
Advances in Image and Video Technology
$129.00
Bye, Penguin!
$5.96
Perspectives in Business Informatics Research
$54.99
Identity, Meaning, and Subjectivity in Career Development
$99.00
Cluster-Based Industrial Development
$54.99
Computer Algebra in Scientific Computing
$79.99
Multi-Output Production and Duality: Theory and Applications
$129.00
Chinese Literature in the World
$119.00
Datenschutz
$29.99
Dismantling the Memory Machine
$39.99
Masculine Power and Gender Equality: Masculinities as Change Agents
$109.99
Lipid Mediators in the Immunology of Shock
$39.99
Ein denotationales Modell fr parallele objektbasierte Systeme
$44.99
Steel Plate Shear Walls with Gravity Load: Theory and Design
$139.99
Non-Pushing PCI Techniques
$169.99
Reagans Mythical America
$39.99
Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management
$79.99
Biological Magnetic Resonance
$84.99
Biological Effects of Magnetic Fields
$54.99
Spring Stinks
$5.96
Taschenbuch der Angewandten Psychoakustik
$64.99
Recent Advances in Operator Theory and Related Topics
$129.00
Low Carbon Energy in the Middle East and North Africa
$139.99
Recovery Risk in Credit Default Swap Premia
$54.99
Two Miserable Presidents
$9.71
Student Learning in German Higher Education
$99.99
