Interactive theorem proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016. Proceedings / Jasmin Christian Blanchette, Stephan Merz (eds.).
Material type:
TextSeries: Lecture notes in computer science ; 9807. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Publisher: Switzerland : Springer, 2016Description: 1 online resource (xvii, 502 pages) : illustrationsContent type: - text
- computer
- online resource
- 9783319431444
- 3319431447
- ITP 2016
- Automatic theorem proving -- Congresses
- Software engineering -- Congresses
- Théorèmes -- Démonstration automatique -- Congrès
- Génie logiciel -- Congrès
- Computer programming -- software development
- Algorithms & data structures
- Software Engineering
- Systems analysis & design
- Computer modelling & simulation
- Mathematical theory of computation
- Computers -- Programming -- General
- Computers -- Programming -- Algorithms
- Computers -- Software Development & Engineering -- General
- Computers -- Hardware -- Handheld Devices
- Computers -- Computer Simulation
- Mathematics -- Logic
- Automatic theorem proving
- Software engineering
- 511.3/6028563 23
- QA76.9.A96
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
Includes author index.
International conference proceedings.
Online resource; title from PDF title page (SpringerLink, viewed August 10, 2016).
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.