Hero image 0 of Lecture Notes in Computer Science Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers, Book 996, (Paperback), 0 of 1
Lecture Notes in Computer Science Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers, Book 996, (Paperback)
(No ratings yet)
Key item features
- Lecture Notes in Computer Science Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers, Book 996, (Paperback)
- Author: Springer
- ISBN: 9783540605799
- Format: Paperback
- Publication Date: 1995-10-18
- Page Count: 210
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Publication dateOctober, 1995
- Pages210
- SubgenreProgramming
Current price is USD$56.14
Price when purchased online
- Free shipping
Free 30-day returns
How do you want your item?
Columbus, 43215
Arrives between Apr 28 - May 1
|
Sold and shipped by Alibris Books
4.565552699228792 stars out of 5, based on 10892 seller reviews(4.6)10892 seller reviews
Free 30-day returns
More seller options (1)
Starting from $60.29
About this item
Product details
This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994.
The 10 papers included address various aspects of developing computer-assisted proofs and programs using a logical framework. Type theory and three logical frameworks based on it are dealt with: ALF, Coq, and LEGO; other topics covered are metatheory, the Isabelle system, 2-calculus, proof checkers, and ZF set theory.
The 10 papers included address various aspects of developing computer-assisted proofs and programs using a logical framework. Type theory and three logical frameworks based on it are dealt with: ALF, Coq, and LEGO; other topics covered are metatheory, the Isabelle system, 2-calculus, proof checkers, and ZF set theory.
- Lecture Notes in Computer Science Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers, Book 996, (Paperback)
- Author: Springer
- ISBN: 9783540605799
- Format: Paperback
- Publication Date: 1995-10-18
- Page Count: 210
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it. Â
Specifications
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Publication date
October, 1995
Warranty
Warranty information
Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.
Similar items you might like
Based on what customers bought
Lecture Notes in Computer Science Fast Software Encryption: 10th International Workshop, FSE 2003, Lund, Sweden, February 24-26, 2003, Revised Papers, Book 2887, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Fast Software Encryption: 10th International Workshop, FSE 2003, Lund, Sweden, February 24-26, 2003, Revised Papers, Book 2887, (Paperback)
Lecture Notes in Computer Science Software Product-Family Engineering: 4th International Workshop, Pfe 2001 Bilbao, Spain, October 3-5, 2001 Revised Paper, Book 2290, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Software Product-Family Engineering: 4th International Workshop, Pfe 2001 Bilbao, Spain, October 3-5, 2001 Revised Paper, Book 2290, (Paperback)
Lecture Notes in Computer Science Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-, Book 1912, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-, Book 1912, (Paperback)
Lecture Notes in Computer Science Types for Proofs and Programs: International Workshop Types'96, Aussois, France, December 15-19, 1996 Selected Papers, Book 1512, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Types for Proofs and Programs: International Workshop Types'96, Aussois, France, December 15-19, 1996 Selected Papers, Book 1512, (Paperback)
Lecture Notes in Computer Science Distributed Algorithms: 6th International Workshop, Wdag '92, Haifa, Israel, November 2-4, 1992. Proceedings, Book 647, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Distributed Algorithms: 6th International Workshop, Wdag '92, Haifa, Israel, November 2-4, 1992. Proceedings, Book 647, (Paperback)
Lecture Notes in Computer Science Types for Proofs and Programs: International Workshop, Types 2003, Torino, Italy, April 30 - May 4, 2003, Revised Select, Book 3085, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Types for Proofs and Programs: International Workshop, Types 2003, Torino, Italy, April 30 - May 4, 2003, Revised Select, Book 3085, (Paperback)
Lecture Notes in Computer Science Generative and Component-Based Software Engineering: First International Symposium, Gcse'99, Erfurt, Germany, September , Book 1799, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Generative and Component-Based Software Engineering: First International Symposium, Gcse'99, Erfurt, Germany, September , Book 1799, (Paperback)
Lecture Notes in Computer Science Utility Computing: 15th Ifip/IEEE International Workshop on Distributed Systems: Operations and Management, Dsom 2004, D, Book 3278, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Utility Computing: 15th Ifip/IEEE International Workshop on Distributed Systems: Operations and Management, Dsom 2004, D, Book 3278, (Paperback)
Lecture Notes in Computer Science Fundamental Approaches to Software Engineering: 4th International Conference, Fase 2001 Held as Part of the Joint Europe, Book 2029, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Fundamental Approaches to Software Engineering: 4th International Conference, Fase 2001 Held as Part of the Joint Europe, Book 2029, (Paperback)
Lecture Notes in Computer Science Product-Focused Software Process Improvement. Industry-, Workshop-, and Doctoral Symposium Papers: 25th International Co, Book 15453, (Paperback) $59.99
$5999current price $59.99Lecture Notes in Computer Science Product-Focused Software Process Improvement. Industry-, Workshop-, and Doctoral Symposium Papers: 25th International Co, Book 15453, (Paperback)
Lecture Notes in Computer Science Innovative Internet Computing Systems: International Workshop Iics 2001 Ilmenau, Germany, June 21-22, 2001 Proceedings, Book 2060, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Innovative Internet Computing Systems: International Workshop Iics 2001 Ilmenau, Germany, June 21-22, 2001 Proceedings, Book 2060, (Paperback)
Communications in Computer and Informati Beyond Databases, Architectures and Structures: 11th International Conference, Bdas 2015, Ustroń, Poland, May 26-29, Book 521, (Paperback) $54.99
$5499current price $54.99Communications in Computer and Informati Beyond Databases, Architectures and Structures: 11th International Conference, Bdas 2015, Ustroń, Poland, May 26-29, Book 521, (Paperback)
Lecture Notes in Computer Science Objects and Databases: International Symposium, Sophia Antipolis, France, June 13, 2000. Revised Papers, Book 1944, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Objects and Databases: International Symposium, Sophia Antipolis, France, June 13, 2000. Revised Papers, Book 1944, (Paperback)
Lecture Notes in Computer Science Recent Trends in Algebraic Development Techniques: 16th International Workshop, Wadt 2002, Frauenchiemsee, Germany, Sept, Book 2755, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Recent Trends in Algebraic Development Techniques: 16th International Workshop, Wadt 2002, Frauenchiemsee, Germany, Sept, Book 2755, (Paperback)
Communications in Computer and Informati Systems and Frameworks for Computational Morphology: Third International Workshop, Sfcm 2013, Berlin, Germany, September, Book 380, (Paperback) $60.87
$6087current price $60.87Communications in Computer and Informati Systems and Frameworks for Computational Morphology: Third International Workshop, Sfcm 2013, Berlin, Germany, September, Book 380, (Paperback)
Lecture Notes in Computer Science Computer Aided Systems Theory - Cast '94: 4th International Workshop, Ottawa, Ontario, May 16 - 20, 1994. Selected Paper, Book 1105, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Computer Aided Systems Theory - Cast '94: 4th International Workshop, Ottawa, Ontario, May 16 - 20, 1994. Selected Paper, Book 1105, (Paperback)
Types for Proofs and Programs: International Workshop, Types 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised , (Paperback) $56.14
$5614current price $56.14Types for Proofs and Programs: International Workshop, Types 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised , (Paperback)
Lecture Notes in Computer Science Graph-Theoretic Concepts in Computer Science: 25th International Workshop, Wg'99, Ascona, Switzerland, June 17-19, 1999 , Book 1665, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Graph-Theoretic Concepts in Computer Science: 25th International Workshop, Wg'99, Ascona, Switzerland, June 17-19, 1999 , Book 1665, (Paperback)
Lecture Notes in Computer Science Graph-Theoretic Concepts in Computer Science: 16th International Workshop Wg '90, Berlin, Germany, June 20-22, 1990, Book 484, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Graph-Theoretic Concepts in Computer Science: 16th International Workshop Wg '90, Berlin, Germany, June 20-22, 1990, Book 484, (Paperback)
Lecture Notes in Computer Science Types in Compilation: Second International Workshop, Tic'98, Kyoto, Japan, March 25-27, 1998 Proceedings, Book 1473, (Paperback) $63.65
$6365current price $63.65Lecture Notes in Computer Science Types in Compilation: Second International Workshop, Tic'98, Kyoto, Japan, March 25-27, 1998 Proceedings, Book 1473, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
