Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Types for Proofs and Programs

International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Types for Proofs and Programs Jean-Christophe Filliatre
Libristo code: 01561624
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, January 2006
The 17 revised full papers presented here cover all current issues of formal reasoning and computer... Full description
? points 145 b
21 311 Ft
Low in stock at our supplier Shipping in 13-18 days

30-day return policy

Customers also purchased

Der Kurator im Zeitalter der neuen Medienkunst Sandra Kuberski / Book Paperback
common.buy 5 597 Ft
Assistance visuelle des malvoyants par traitement d'images adaptatif Benoit Froissard / Book Paperback
common.buy 16 930 Ft
Petite Trotteuse Michele Lesbre / Book Paperback
common.buy 4 077 Ft
Poil de Carotte, Monsieur Vernet, Le Plaisir de Rompre, Le Pain de Menage, La Bigote Renard-J / Book Paperback
common.buy 6 669 Ft
Zukunftsfahiges Leitbild oder veraltetes Schlagwort? Evelyn Ehle / Book Paperback
common.buy 6 272 Ft
Coming soon
Color Brain / Game/Toy Game
common.buy 9 646 Ft
De L'Influence Du Bien Etre Materiel Sur La Moralite Des Peuples Modernes (1854) Edouard Mercier / Book Paperback
common.buy 13 177 Ft
Etude exploratoire sur les barrières à la mise en oeuvre selon le processus de son application Mourad Sallami / Book Paperback
common.buy 17 998 Ft
processo romano-canonico classico. Linee di svolgimento e caratteri fondamentali Andrea Padovani / Book Paperback
common.buy 10 085 Ft

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Types for Proofs and Programs
Author Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner
Language English
Binding Book - Paperback
Date of issue 2006
Number of pages 280
EAN 9783540314288
ISBN 3540314288
Libristo code 01561624
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 910
Dimensions 155 x 235 x 17

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

The Omega's Candy Shop / Book Paperback
common.buy 5 583 Ft
Construction Workers Emma Less / Book Hardback
common.buy 11 712 Ft
New
XLVIII Mexican Conference on Biomedical Engineering Esmeralda Zuñiga-Aguilar / Book Paperback
common.buy 79 260 Ft
Memoir Of Keopuolani, Late Queen Of The Sandwich Islands (1825) William Richards / Book Paperback
common.buy 7 386 Ft
Economic Evaluation of Cancer Drugs Khan / Book Hardback
common.buy 65 603 Ft
Technology and Employment Practices in Developing Countries Hubert Schmitz / Book Hardback
common.buy 63 625 Ft
Justice Will Prevail: A Lee Bell Mystery Barb Nagel / Book Paperback
common.buy 4 659 Ft
Works of Elizabeth Gaskell, Part I Vol 3 SHATTOCK / Book Paperback
common.buy 25 559 Ft
Treatise of the Suffocation of the Matrix, Commonly Called, the Fits of the Mother. Wherein Are Not Only Explained the Cause, Progress, and Danger of M.D. Lockman / Book Paperback
common.buy 4 941 Ft
Experimental Philosophy and its Critics Joachim Horvath / Book Hardback
common.buy 80 448 Ft
Chemical Evolution of the Universe Royal Society of Chemistry / Book Hardback
common.buy 93 112 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?