Let us wish you a happy birthday!
Date of Birth
Please fill in a complete birthday Enter a valid birthday
×
Design, Modeling and Testing of Data Converters by Paolo Carbone, Sayfe Kiaei, Fang Xu - Hardcover
624.63 AED

Design, Modeling and Testing of Data Converters by Paolo Carbone, Sayfe Kiaei, Fang Xu - Hardcover

Be the first to rate this product 

624.63 AED 

  - You Save -624.63 AED
All prices include VAT  Details
FREE Shipping Details
Category Type
Industrial Technology
ISBN
9783642396540
Author
Paolo Carbone, Sayfe Kiaei, Fang Xu
Publisher
Springer
Description:

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as ...

Ships From United States
Ship to Dubai (Change city)
Delivered within Saturday, Jul 14 - Sunday, Jul 15 to Dubai

Condition:
New
Sold by:
InternationalBookStore (88% Positive Rating)

PRODUCT INFORMATION

  •  

    Specifications

    Category Type
    Industrial Technology
    ISBN
    9783642396540
    Languages
    English
    Item EAN
    2724437243325
    People
    Author
    Paolo Carbone, Sayfe Kiaei, Fang Xu
    Category Type
    Industrial Technology
    ISBN
    9783642396540
    Languages
    English
    Item EAN
    2724437243325
    People
    Author
    Paolo Carbone, Sayfe Kiaei, Fang Xu
    People
    Publisher
    Springer
    Technical Information
    Binding
    Hardcover
    Languages and countries
    Book Language
    English
    Read more
  •  

    Description:

    This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully

    This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.

    Product Features:
    • Category: Mathematics
    • Binding: Paperback
    • Language of Text: English
    • Author(s): Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
    • Publisher: Springer
    • ISBN: 9783642396335
    • Number of Pages: 498
    • Dimensions: 9.21 x 6.14 x 1.03 inches
 

Customer Reviews

0
No ratings yet
Be the first to rate this product
Rate this product:

Sponsored products for you

×

Please verify your mobile number to complete your checkout

We will send you an SMS containing a verification code. Please double check your mobile number and click on "Send Verification Code".

+ Edit