Skip to main content

CURRENTLY SOLD OUT

Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers by Christine Paulin-Mohring, Eduardo Gimenez (Paperback, 1998)

About this product

About this product

Product Information

This book constitutes the thoroughly revised post-workshop proceedings of the first annual workshop held under the auspices of the ESPRIT Working Group 21900 TYPES in Aussois, France in December 1996. The 18 revised full papers presented in the book were carefully reviewed and selected from the 30 papers accepted for presentation at the workshop. All current aspects of type theory and type systems and their applications to program verification and theorem proving are addressed; the proof systems and theorem provers dealt with include Coq, LEGO, and Isabelle/HOL.

Product Identifiers

Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-13
9783540651376
eBay Product ID (ePID)
95506455

Product Key Features

Book Title
Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers
Author
Christine Paulin-Mohring, Eduardo Gimenez
Format
Paperback
Language
English
Topic
Computer Science
Publication Year
1998
Type
Textbook
Number of Pages
380 Pages

Dimensions

Item Height
235mm
Item Width
155mm
Volume
1512
Item Weight
1200 g

Additional Product Features

Series Title
Lecture Notes in Computer Science
Editor
Eduardo Gimenez, Christine Paulin-Mohring
Country/Region of Manufacture
Germany

Best Selling in Books

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Books

The Mountain Is You: Transforming Self-Sabotage Into Self-Mastery by Brianna Wiest (Paperback, 2020)
5.0 out of 5 stars based on 6 product ratings
AU $21.98 New
AU $15.39 Used
The Concise 48 Laws Of Power by Robert Greene (Paperback, 2002)
4.5 out of 5 stars based on 22 product ratings
AU $21.51 New
---- Used
Atomic Habits: the life-changing million-copy #1 bestseller by James Clear (Paperback, 2018)
4.8 out of 5 stars based on 25 product ratings
AU $18.90 New
AU $8.95 Used
Become What You Are: Expanded Edition by Alan W. Watts (Paperback, 2003)
5.0 out of 5 stars based on 2 product ratings
AU $32.51 New
---- Used
Geronimo Stilton: #9 Fabumouse Vacation for Geronimo by Geronimo Stilton (Paperback, 2004)
No ratings or reviews yet.
AU $21.81 New
AU $9.00 Used
First Day by Andrew Daddo (Paperback, 2014)
No ratings or reviews yet.
AU $10.00 New
AU $6.29 Used

Save on Books

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Books

The Orthodox Study Bible, Hardcover: Ancient Christianity Speaks to Today's Worl
AU $63.30
Trending at AU $65.12
NEW Bluey: My Mum is the Best By Bluey (Hardcover) Picture Book FREE Shipping
AU $11.95
Trending at AU $15.72
The 2023 Ninja Dual Zone Air Fryer Cookbook: 1000 Days Simple, Delicious & Low C
AU $18.48
Trending at AU $19.14
Lonely Planet Vietnam | Paperback Book | NEW AU FREE SHIPPING AU
AU $27.88
Trending at AU $28.29
The Complete Mediterranean Diet Cookbook for Beginners 2023: 2000 Days of Quick,
AU $18.83
Trending at AU $19.39
Animal Farm
AU $12.34
Trending at AU $13.51

You may also like

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- You may also like