Copied Interactive Theorem Proving
Interactive Theorem Proving
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.
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
Arab Shi'a
$54.99
Globalization or Regionalization of the European Car Industry?
$109.99
Diversity/Multicultural Collection: Ages 6-36 Months
$388.70
Matrix Pathobiology and Angiogenesis
$199.99
Organisation und Erfahrung
$39.99
Web Intelligence
$169.99
Robot Operating System (ROS)
$99.00
Genetic and Environmental Influences on Behaviour
$54.99
The Transformative Potential of Corporate Social Responsibility in the Global Cocoa-Chocolate Chain
$69.99
Two-Dimensional Real-Time Ultrasonic Imaging of the Heart
$169.00
New Technologies, Development and Application VII
$249.99
Neuere monopolistische Tendenzen in Industrie und Handel
$59.99
Cam Jansen and the Secret Service Mystery
$3.71
Conceptual Challenges in Evolutionary Psychology
$84.99
Micromounts
$44.99
Managing the Dynamics of Networks and Services
$39.99
bungsbuch IFRS
$29.99
Telekommunikation gegen Isolation
$74.99
Western Technology and Chinas Industrial Development
$63.00
CeA Computergesttzte erfahrungsgeleitete Arbeit
$34.99
Blended Learning : Lessons Learned and Ways Forward
$54.99
String Field Theory
$59.99
Cancer Data For Good
$49.99
EU Eastern Neighborhood
$109.99
Beliefs von Lehrerinnen und Lehrern der Sekundarstufen zum Visualisieren im Mathematikunterricht
$54.99
Standpipe Systems for Fire Protection
$129.99
Personalized and Inclusive Engagement for the Design, Delivery, and Evaluation of University eLearni
$129.99
Dehnungsmessstreifen
$169.99
Reflections on Identity
$129.99
Flexible Robotersysteme Konzeption und Realisierung modularer Roboterkomponenten
$59.99
bungs-und Testheft Der Verkufer
$44.99
Asymptotic Expansions for General Statistical Models
$84.99
Clifford el gran perro colorado: La familia de Clifford
$2.99
Dynamics of Entry and Market Evolution
$109.99
Requirements Engineering: Foundation for Software Quality
$54.99
Eye Movements and Visual Cognition
$89.00
Physikalisches Taschenbuch
$59.99
Problem-based Behavioral Science and Psychiatry
$69.99
Introduction to the Theory and Applications of Functional Differential Equations
$109.99
Auergewhnliche Druck- und Temperatursteigerungen bei Dieselmotoren
$59.99
