Skip your Account's links

$ USD

Advanced search

0 items

$0.00
  • Your basket
  • The RRP is the suggested or Recommended Retail Price of a product, set by the publisher or manufacturer.

  • View basket

  • Your basket is empty

  • Delivery included on your order!

  • View basket

Skip Navigation and go to main content

Delivery included to the United States

Interactive Theorem Proving

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings - Lecture Notes in Computer Science

Paperback (07 Aug 2016)

Save $5.14

  • RRP $61.51
  • $56.37
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Check stock

    Publisher's Synopsis

    This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016.

    The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.

    Book information

    ISBN: 9783319431437
    Publisher: Springer International Publishing
    Imprint: Springer
    Pub date:
    DEWEY: 511.36028563
    DEWEY edition: 23
    Language: English
    Number of pages: 502
    Weight: 721g
    Height: 235mm
    Width: 155mm
    Spine width: 27mm

    We recommend

    Add to basket

    $20.55off

    Add to basket

    $25.62off

    Add to basket

    $21.47off

    Add to basket

    $5.93off

    Add to basket

    $36.60off

    Add to basket

    $4.41off

    Add to basket

    $11.36off

    Add to basket

    $32.12off

    Add to basket

    $79.24off

    Beyond Planar Graphs

    Seok-Hee Hong (edito...

    Hardback
    Published 01 Oct 2020

    Save $79.24

    • RRP $123.03
    • $43.79
    Add to basket