Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Types for Proofs and Programs

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

Limba englezăengleză
Carte Carte broșată
Carte Types for Proofs and Programs Jean-Christophe Filliatre
Codul Libristo: 01561624
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ianuarie 2006
The 17 revised full papers presented here cover all current issues of formal reasoning and computer... Descrierea completă
? points 141 b
306.69 lei
În depozitul extern în cantități mici Expediem în 11-15 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Der Kurator im Zeitalter der neuen Medienkunst Sandra Kuberski / Carte Carte broșată
common.buy 79.97 lei
De L'Influence Du Bien Etre Materiel Sur La Moralite Des Peuples Modernes (1854) Edouard Mercier / Carte Carte broșată
common.buy 189.74 lei
Zukunftsfahiges Leitbild oder veraltetes Schlagwort? Evelyn Ehle / Carte Carte broșată
common.buy 89.76 lei
processo romano-canonico classico. Linee di svolgimento e caratteri fondamentali Andrea Padovani / Carte Carte broșată
common.buy 144.64 lei
LA CIUDAD DE POLVO DE ESTRELLAS SUMMERS / Carte Carte
common.buy 108.40 lei
Rol' kompetentnostnoj ocenki v kar'ere personala torgovoj organizacii Galina Jur'evna Coj / Carte Carte broșată
common.buy 293.15 lei
Propheten aus dem Alten Testament der Bibel Antonia Katharina Tessnow / Carte Carte broșată
common.buy 280.44 lei
Etude exploratoire sur les barrières à la mise en oeuvre selon le processus de son application Mourad Sallami / Carte Carte broșată
common.buy 266.28 lei
Assistance visuelle des malvoyants par traitement d'images adaptatif Benoit Froissard / Carte Carte broșată
common.buy 261.80 lei
Curând
Color Brain / Joc / Jucărie Joc
common.buy 142.67 lei
Poil de Carotte, Monsieur Vernet, Le Plaisir de Rompre, Le Pain de Menage, La Bigote Renard-J / Carte Carte broșată
common.buy 96.11 lei
Petite Trotteuse Michele Lesbre / Carte Carte broșată
common.buy 60.29 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Types for Proofs and Programs
Autor Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner
Limba engleză
Legare Carte - Carte broșată
Data publicării 2006
Număr pagini 280
EAN 9783540314288
ISBN 3540314288
Codul Libristo 01561624
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 910
Dimensiuni 155 x 235 x 17

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

The Omega's Candy Shop / Carte Carte broșată
common.buy 79.76 lei
Construction Workers Emma Less / Carte Copertă tare
common.buy 168.70 lei
Nou
XLVIII Mexican Conference on Biomedical Engineering Esmeralda Zuñiga-Aguilar / Carte Carte broșată
common.buy 1 259.38 lei
Kamandi by Jack Kirby Vol. 1 Jack Kirby / Carte Carte broșată
common.buy 247.85 lei
Memoir Of Keopuolani, Late Queen Of The Sandwich Islands (1825) William Richards / Carte Carte broșată
common.buy 106.22 lei
Country Scenes in Acrylic Jerry Yarnell / Carte Carte broșată
common.buy 97.57 lei
Economic Evaluation of Cancer Drugs Khan / Carte Copertă tare
common.buy 946.64 lei
Homology of Banach and Topological Algebras A.Y. Helemskii / Carte Copertă tare
common.buy 306.69 lei
Technology and Employment Practices in Developing Countries Hubert Schmitz / Carte Copertă tare
common.buy 918.21 lei
Justice Will Prevail: A Lee Bell Mystery Barb Nagel / Carte Carte broșată
common.buy 66.95 lei
Works of Elizabeth Gaskell, Part I Vol 3 SHATTOCK / Carte Carte broșată
common.buy 378.23 lei
Secrets Jesus Shared Jennifer Kennedy Dean / Carte Carte broșată
common.buy 108.61 lei
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 / Carte Carte broșată
common.buy 70.70 lei
Experimental Philosophy and its Critics Joachim Horvath / Carte Copertă tare
common.buy 1 190.65 lei
Policy Integration for Complex Environmental Problems Helen Briassoulis / Carte Copertă tare
common.buy 1 190.65 lei
Chemical Evolution of the Universe Royal Society of Chemistry / Carte Copertă tare
common.buy 1 342.18 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?