Interactive Theorem Proving
Odporučiť
  • Anglický jazyk

Interactive Theorem Proving

Autor: Sandrine Blazy

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,... Viac o knihe

Na objednávku, dodanie 2-4 týždne

49.49 €

bežná cena: 54.99 €

O knihe

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.

  • Vydavateľstvo: Springer
  • Rok vydania: 2013
  • Formát: Paperback
  • Rozmer: 235 x 155 mm
  • Jazyk: Anglický jazyk
  • ISBN: 9783642396335

Odporúčané tituly:

Spieleprogrammierung, m. CD-ROM
  • Nemecký jazyk Nemecký jazyk

Spieleprogrammierung, m. CD-ROM

Martin Stephen

31.73 € 35.25 € (ušetríte 10%)
Levin, L: Easyscript/Computerscript 1
  • Anglický jazyk Anglický jazyk

Levin, L: Easyscript/Computerscript 1

115.32 € 128.13 € (ušetríte 10%)
Customizing Materials Management Processes in SAP ERP

Customizing Materials Management Processes in SAP ERP

69.26 € 76.95 € (ušetríte 10%)
Pro Javascript Techniques
  • Anglický jazyk Anglický jazyk

Pro Javascript Techniques

John Resig

50.90 € 56.56 € (ušetríte 10%)
NX-OS and Cisco Nexus Switching
  • Anglický jazyk Anglický jazyk

NX-OS and Cisco Nexus Switching

Rôzni autori (editori)

65.63 € 72.92 € (ušetríte 10%)
The Impact of the Internet on Our Moral Lives
  • Anglický jazyk Anglický jazyk

The Impact of the Internet on Our Moral Lives

Robert J. Cavalier

24.18 € 26.87 € (ušetríte 10%)
Data Model Patterns: A Metadata Map
  • Anglický jazyk Anglický jazyk

Data Model Patterns: A Metadata Map

DAVID C. HAY

69.85 € 77.61 € (ušetríte 10%)
Digital Layout for the Internet and Other Media
  • Anglický jazyk Anglický jazyk

Digital Layout for the Internet and Other Media

David Skopec

49.18 € 54.64 € (ušetríte 10%)
Art of Downloading Music, The
  • Anglický jazyk Anglický jazyk

Art of Downloading Music, The

Steve Levine

12.64 € 14.04 € (ušetríte 10%)
Microsoft Office System 2003 Step by Step
  • Anglický jazyk Anglický jazyk

Microsoft Office System 2003 Step by Step

Microsoft

58.73 € 65.26 € (ušetríte 10%)
Photoshop User`s A-Z, The
  • Anglický jazyk Anglický jazyk

Photoshop User`s A-Z, The

Peter Cope

31.13 € 34.59 € (ušetríte 10%)
Handbook of Computer Game Studies
  • Anglický jazyk Anglický jazyk

Handbook of Computer Game Studies

RAESSENS ⁄GOLDSTEIN

67.49 € 74.99 € (ušetríte 10%)

Generuje redakčný systém BUXUS CMS spoločnosti ui42.