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 Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers

Limba englezăengleză
Carte Carte broșată
Carte Types for Proofs and Programs Marino Miculan
Codul Libristo: 01567627
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mai 2008
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the conclud... Descrierea completă
? points 132 b
286.02 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

You Are My TRUTH Felicitas Brandt / Carte Carte broșată
common.buy 87.27 lei
Zápisník Black Red tečkovaný L Articole de papetărie Articole de papetărie
common.buy 44.73 lei
Leftin
Kamošky, schôdzky a tajomstvá pyžamových večierkov Cathy Hopkins / Carte Copertă tare
common.buy 28.04 lei
Top
Nexus Yuval Noah Harari / Carte Copertă tare
common.buy 113.13 lei
Vertrauenswürdige digitale Langzeitarchivierung nach DIN 31644 Christian Keitel / Carte Carte broșată
common.buy 156.82 lei
Psychisch kranke Eltern, fur Kinder (k)ein Problem? Yvonne Behla / Carte Carte broșată
common.buy 188.94 lei
Réponse du blé semé tardivement ? l'azote Deepak Sapkota / Carte Carte broșată
common.buy 188.52 lei
OBOENKONZERT 2 B-DUR HWV 302A GEORG FRIEDRICH HAND Carte binding.
common.buy 41.28 lei
iPod Jude D. Biersdorfer / Carte Carte broșată
common.buy 101.66 lei
Szerafina és a Fekete Köpeny Robert Beatty / Carte Copertă tare
common.buy 32.73 lei
de Donationibus, Jus Romanum Theorie de la Reserve Et de la Quotite Disponible, Droit Civil CARRIERE-J-J-A / Carte Carte broșată
common.buy 75.38 lei
František Skála - Grafika František Skála / Carte Foaie
common.buy 66.21 lei
Puccini: La Boheme/Madame Butterfly RPO/Abell / Audio Audio CD
common.buy 145.04 lei
Ataque a un enemigo de la libertad Cicerón / Carte Carte broșată
common.buy 51.50 lei
E-biznes Steve West / Carte Carte broșată
common.buy 76.01 lei

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007.§The 13 revised full papers presented were carefully reviewed and selected from 22 submissions. The topic of this last annual workshop of the Types Working Group was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization 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 Marino Miculan, Ivan Scagnetto, Furio Honsell
Limba engleză
Legare Carte - Carte broșată
Data publicării 2008
Număr pagini 203
EAN 9783540680840
ISBN 3540680845
Codul Libristo 01567627
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 343
Dimensiuni 155 x 235 x 14

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 programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
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

Top
High-Risers: Cabrini-Green and the Fate of American Public Housing Ben Austen / Carte Carte broșată
common.buy 85.29 lei
Building the Medieval World Christine Sciacca / Carte Copertă tare
common.buy 89.46 lei
Jeremy Blake / Carte Carte broșată
common.buy 59.74 lei
Hacking Your Kitchen! Giant Blank Recipe Book FLASH PLANNERS AND N / Carte Carte broșată
common.buy 55.78 lei
Globe Trotter's Records - Travel Journal Hawaii Edition DAYBOOK HEAVEN BOOKS / Carte Carte broșată
common.buy 47.96 lei
Top
Ego is the Enemy Ryan Holiday / Carte Carte broșată
common.buy 59.74 lei
Household Stories Wilhelm Grimm / Carte Carte broșată
common.buy 129.19 lei
Fights for the Flag William Henry Fitchett / Carte Carte broșată
common.buy 139.20 lei
Requiem for Innocence Bv Lawson / Carte Carte broșată
common.buy 75.80 lei
Raising a Soccer Star: A Complete Guide to Unlocking Your Child's Potential Mariana Correa / Carte Carte broșată
common.buy 96.86 lei
Optimal Oil Pipeline Alignment In Ankleshwar Using RS & GIS techniques Anam Akhtar / Carte Carte broșată
common.buy 178.72 lei
Jeremy Jackrabbit Jumps Joyfully Aimee Hughes / Carte Carte broșată
common.buy 42.33 lei
Fresh Designs for Woodworking Thomas Haapapuro / Carte Carte broșată
common.buy 85.29 lei
The Position of the Celebrant at the Holy Communion Morton Shaw / Carte Carte broșată
common.buy 89.88 lei
Dynamics of Discrete Populations and Series of Events Keith Iain Hopcraft / Carte Carte broșată
common.buy 520.96 lei
Top
Lonely Planet Pocket Bangkok Lonely Planet / Carte Carte broșată
common.buy 60.58 lei
Wind in the Willows Kenneth Grahame / Carte Copertă tare
common.buy 89.88 lei
Top
Jujutsu Kaisen, Vol. 8 Gege Akutami / Carte Carte broșată
common.buy 51.19 lei
Unofficial Hocus Pocus Cross-stitch Editors of Ulysses Press / Carte Carte broșată
common.buy 92.69 lei
Summary: The Art of Social Media / Carte Carte broșată
common.buy 75.59 lei
Paperblanks Wild Flowers Playful Creations Softcover Flexis Mini Lined Elastic Band 208 Pg 80 GSM / Calendar / Agendă Calendar
common.buy 110.52 lei
Leftin
The Crescent Moon Tearoom Stacy Sivinski / Carte Carte broșată
common.buy 40.45 lei
The Australian Defence Force Robbin Laird / Carte Carte broșată
common.buy 71.84 lei
Relentless: From Redshirt to the Rock of the Jayhawks Travis Releford / Carte Carte broșată
common.buy 87.48 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