• Shop by category
  • Powered by eBay

    • When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.

    Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of In

    • Item No : 395840034686
    • Condition : Good
    • Brand : No brand Info
    • Seller : maeanderq
    • Current Bid : US $52.19

    • * Item Description

    • 2004 Springer, 2004. 497 S. Gebundene Ausgabe, Maße: 16.41 cm x 3.23 cm x 23.77 cm Sprache: Englisch ISBN: 3540208542 EAN: 9783540208549 Bestell-Nr: 47234 Schlagworte: logic, Automat, theorem proving, programming, formal method, interactive theorem proving, Coq, proving .
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category
  • BEAUTY
  • Skin Care
  • Makeup
  • Nail Care, Manicure & Pedicure
  • Hair Care & Styling
  • FASHION
  • Men's Clothing
  • Men's Shoes
  • Women's Clothing
  • Women's Handbags & Bags
  • Jewelry & Watches
  • KID'S
  • HOME & GARDEN
  • Kitchen, Dining & Bar
  • Home Decor
  • Home Improvement
  • Food & Beverages
  • ELECTRONICS
  • Cell Phones & Accessories
  • Cameras & Photo
  • Computers/Tablets & Networking
  • Consumer Electronics
  • ENTERTAINMENT
  • Music
  • Entertainment Memorabilia
  • DVDs & Movies
  • MORE
  • Sporting Goods
  • Motors
  • Business & Industrial
  • Toys & Hobbies


    • Contact Us

    When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.