Publisher: Springer
Language: English
ISBN: 0387237593
Paperback: 420 pages
Data: Jun 2005
Format: PDF
Description: This monograph details several important advances in the area known as the proofs-as-programs paradigm, a set of approaches to developing programs from proofs in constructive logic. It serves the dual purpose of providing a state-of-the-art overview of the field and detailing tools and techniques to stimulate further research. One of the book’s central themes is (more…)
Publisher:
Language: English
ISBN:
Paperback: pages
Data: 2007
Format: PDF
Description: .
.
.
.
Publisher: Addison Wesley
Language: English
ISBN: 0321486811
Paperback: 1000 pages
Data: Aug 2006
Format: DJVU
Description: This book provides the foundation for understanding the theory and pracitce of compilers. Revised and updated, it reflects the current state of compilation. Every chapter has been completely revised to reflect developments in software engineering, programming languages, and computer architecture that have occurred since 1986, when the last edition published. (more…)
Publisher:
Language: English
ISBN:
Paperback: pages
Data: 2007
Format: PDF
Description: .
.
.
.
Publisher: McGraw-Hill
Language: English
ISBN: 0072472278
Paperback: 336 pages
Data: Jul 2002
Format: DJVU
Description: The purpose of this book is to provide an introduction to the concepts of statistical analysis of data for students at the undergraduate and graduate level, and to provide tools for data reduction and error analysis commonly required in the physical sciences. The presentation is developed from a practical point of view, including enough derivation to justify (more…)
