Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Types for Proofs and Programs - International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Paperback, 2006 ed.) Loot Price: R1,559
Discovery Miles 15 590
Repayment Terms: R146 pm x 12*
Add to cart
Types for Proofs and Programs - International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised...

Types for Proofs and Programs - International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Paperback, 2006 ed.)

Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner

Series: Lecture Notes in Computer Science, 3839

 (sign in to rate)
Loot Price R1,559 Discovery Miles 15 590 | Repayment Terms: R146 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

Donate to Against Period Poverty

Types for Proofs and Programs - International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised...
Types for Proofs and Programs…
R1,559
Against Period Poverty:
Against Period Poverty
R10
Total price: R1,569
Discovery Miles: 15 690
Terms: R147 pm x 12*
Get the bundle!

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 3839
Release date: 2006
First published: 2006
Editors: Jean-Christophe Filliatre • Christine Paulin-Mohring • Benjamin Werner
Dimensions: 235 x 155 x 15mm (L x W x T)
Format: Paperback
Pages: 280
Edition: 2006 ed.
ISBN-13: 978-3-540-31428-8
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Science & Mathematics > Mathematics > Applied mathematics > Mathematics for scientists & engineers
Books > Computing & IT > Computer programming > Programming languages > General
Books > Computing & IT > Applications of computing > Artificial intelligence > General
LSN: 3-540-31428-8
Barcode: 9783540314288

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners