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,692
Discovery Miles 16 920
Repayment Terms: R159 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,692 Discovery Miles 16 920 | Repayment Terms: R159 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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
Promotions
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!

You might also like..

Problem Solving with C++ - Global Edition (Paperback, 10th edition): Walter Savitch
Problem Solving with C++ - Global…
Walter Savitch Paperback R2,632 Discovery Miles 26 320
Introducing Delphi Programming - Theory Through Practice (Paperback, 4th Edition): John Barrow, Linda Miller, Katherine Malan,...
Introducing Delphi Programming - Theory…
John Barrow, Linda Miller, … Paperback  (1)
 R863 Discovery Miles 8 630
C++ Programming - Program Design Including Data Structures (Paperback, 8th edition): D. Malik
C++ Programming - Program Design…
D. Malik Paperback R1,728 R1,596 Discovery Miles 15 960
C++ How to Program: Horizon Edition (Paperback, 8th edition): Harvey Deitel, Paul Deitel
C++ How to Program: Horizon Edition
Harvey Deitel, Paul Deitel Paperback R1,954 Discovery Miles 19 540
Java How to Program, Late Objects, Global Edition (Paperback, 11th edition): Paul Deitel, Harvey Deitel
Java How to Program, Late Objects…
Paul Deitel, Harvey Deitel Paperback R900 R750 Discovery Miles 7 500
Advanced Visual Basic 6 - Power Techniques for Everyday Programs (Paperback): Matthew Curland, Gary Clarke
Advanced Visual Basic 6 - Power…
Matthew Curland, Gary Clarke Paperback R1,374 Discovery Miles 13 740
Advanced SQL with SAS (Hardcover): Christian F. G. Schendera
Advanced SQL with SAS
Christian F. G. Schendera Hardcover R2,660 Discovery Miles 26 600
A Day in Code- Python - Learn to Code in Python through an Illustrated Story (for Kids and Beginners) (Hardcover): Shari Eskenas
A Day in Code- Python - Learn to Code in…
Shari Eskenas Hardcover R706 Discovery Miles 7 060
bundle available
CSS and HTML for beginners - A Beginners HTML and CSS Guide to Developing a Strong Coding Foundation, Building Responsive...
CSS and HTML for beginners - A Beginners…
Ethan Hall Hardcover R981 Discovery Miles 9 810
SQL - 2 books in 1 - The Ultimate Beginner's & Intermediate Guide to Learn SQL Programming step by step (Hardcover): Ryan...
SQL - 2 books in 1 - The Ultimate…
Ryan Turner Hardcover R1,162 R978 Discovery Miles 9 780
Basic Python Commands - Learn the Basic Commands of the World's Most Intuitive and Widely Used Programming Language...
Basic Python Commands - Learn the Basic…
Manuel Mcfeely Hardcover R891 R764 Discovery Miles 7 640
CSS For Beginners - The Best CSS Guide For Beginners To Learn Learn CSS in One Day and Developing a Strong Coding Foundation...
CSS For Beginners - The Best CSS Guide…
Ethan Hall Hardcover R1,023 R872 Discovery Miles 8 720

See more
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