This volume contains a series of lectures by leading researchers on the impact of the concept of a formal proof on computation theory under several aspects: specification and abstract data types, proving techniques, constructive methods, linear logic, and concurrency and logic.
| Author: Helmut Schwichtenberg |
| Publisher: Springer |
| Publication Date: Dec 13, 2011 |
| Number of Pages: 470 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3642793630 |
| ISBN-13: 9783642793639 |
Related Products
World Scientific Publishing Company
Proof and Computation : Digitization in Mathematics, Computer Science and Philosophy
$114.99
