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 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Limba englezăengleză
Carte Carte broșată
Carte Types for Proofs and Programs Stefano Berardi
Codul Libristo: 01649961
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iunie 2009
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of... 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

The Wiener Schnitzel Love Book! Florian Weitzer / Carte Copertă tare
common.buy 164.33 lei
Histoire de la Revolution de 1848. Tome 3 (Ed.1849-1850) Leonard Gallois / Carte Carte broșată
common.buy 182.37 lei
Quitter l'ouest Robin / Carte Carte broșată
common.buy 102.50 lei
Raccontini Vol. 2 - Easy Italian Reader Alfonso Borello / Carte Carte broșată
common.buy 64.75 lei
Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Carte Carte broșată
common.buy 37.32 lei
Robota jak każda inna Alex W. Inker / Carte Carte broșată
common.buy 81.01 lei
Formation de cicatrices minimales apr?s des incisions chirurgicales dans les lignes de pliage principales Gottfried Lemperle Dieter Knapp / Carte Carte broșată
common.buy 144.21 lei
K jak Klara 7 - Tak mi przykro Knudsen / Audiobook MP3
common.buy 12.61 lei
Idées reçues sur le Royaume-Uni Fourton / Carte Carte broșată
common.buy 90.08 lei
Arbeiter, Unternehmer, Professioneller Manfred Stock / Carte Carte broșată
common.buy 400.42 lei
Záverečný účet obce a vyššieho územného celku Ingrid Konečná Veverková / Carte Carte broșată
common.buy 73.40 lei
Fútbol africano II Librofutbol. Com / Carte Carte broșată
common.buy 126.79 lei
Schulcafé Pustekuchen 2 Backe Backe Hühnerkacke Kati Naumann / Audio Audio CD
common.buy 47.12 lei
Curând
Das Erbe der Macht Andreas Suchanek / Carte Carte broșată
common.buy 395.62 lei
Prinzipien und Struktur einer gerechten Gesellschaft Bernd Waß / Carte Copertă tare
common.buy 134.61 lei
Faeries 13 Special Harry Potter Revue / Carte Carte broșată
common.buy 67.04 lei
Dieu avec esprit. Réponse à Michel Onfray Irène Fernandez / Carte Carte broșată
common.buy 96.45 lei
Aufbewahrungsbox fürs Auto aus Kunststoff / Joc / Jucărie Jucărie
common.buy 72.98 lei
Die Erziehungslehre Der Drei Kappadozier: Eine Padagogisch-Philosophische Studie ... Karl Weiss / Carte Carte broșată
common.buy 101.45 lei
ANIMALES DE LA GRANJA ESTELLE TALAVERA / Carte Copertă tare
common.buy 44.31 lei

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of a series of meetings of the TYPES working group funded by the European Union between 1993 and 2008; the workshop has been held in Torino, Italy, in March 2008.§The 19 revised full papers presented were carefully reviewed and selected from 27 submissions. The topic of the workshop was formal reasoning and computer programming based on type theory: languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, mobile code, formalization of mathematics, 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 Stefano Berardi, Ferruccio Damiani, Ugo De Liguoro
Limba engleză
Legare Carte - Carte broșată
Data publicării 2009
Număr pagini 323
EAN 9783642024436
ISBN 3642024432
Codul Libristo 01649961
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 510
Dimensiuni 155 x 235 x 19

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 > Algorithms & data structures
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

Real-Time Mobile Multimedia Services Dilip Krishnaswamy / Carte Carte broșată
common.buy 286.02 lei
Torrent des passions R V RONI SAINT-CYR / Carte Carte broșată
common.buy 127.21 lei
Anesthesiology Linda S. Aglio / Carte Carte broșată
common.buy 948.71 lei
Motivating Children with Specific Learning Difficulties GAD ELBEHERI / Carte Carte broșată
common.buy 232.53 lei
Christian Songs and Rhymes for Children Children's Jesus Book Baby Professor / Carte Carte broșată
common.buy 67.56 lei
Algebra ROBERT SHUTLER / Carte Carte broșată
common.buy 226.27 lei
The Top 5 Greatest Native Americans: Sitting Bull, Crazy Horse, Geronimo, Tecumseh, and Chief Joseph Charles River Editors / Carte Carte broșată
common.buy 83.20 lei
GREED began in the WHITE HOUSE: It helps the rich get richer, forces the poor onto welfare, and squeezes working Middle Class families. James T Kelly / Carte Carte broșată
common.buy 55.99 lei
Born in the year 1970 Christoph Dappen / Carte Carte broșată
common.buy 43.16 lei
Atlas of Forensic Pathology, m. 1 Buch, m. 1 E-Book Joseph A. Prahlow / Carte Copertă tare
common.buy 6 223.19 lei
Welcome to the Swamp: An Illustrated Journey Into the Deplorable World of Donald J. Trump Tim Doyle / Carte Carte broșată
common.buy 126.58 lei
Immunometabolism Suresh Mishra / Carte Carte broșată
common.buy 670.08 lei
Optometrist's Manual, a Treatise on the Science and Practice of Optometry; Volume 2 Christian Henry Brown / Carte Carte broșată
common.buy 143.06 lei
Top
The Wolf and the Crown of Blood MAY ELIZABETH / Carte Copertă tare
common.buy 138.78 lei
The Originals: The Complete Series / Videoclip DVD
common.buy 452.97 lei
Saving Each Other: A Mother-Daughter Love Story Amanda Troop / Audio Audio CD
common.buy 153.70 lei
Journey to Now Suzanne Taylor-Torres / Carte Carte broșată
common.buy 71.84 lei
Hedy Lamarr and a Secret Communication System Trinna Robbins / Carte Carte broșată
common.buy 42.95 lei
Italian Americans Before Mass Migration JEROME KRASE / Carte Copertă tare
common.buy 162.04 lei
Art of Falconry Patrick Morel / Carte Copertă tare
common.buy 169.34 lei
Zimbabwe Parker / Carte Copertă tare
common.buy 174.34 lei
Epistemic Paternalism Kristoffer Ahlstrom Vij / Carte Copertă tare
common.buy 307.30 lei
Siege of Corinth. a Poem. Parisina. a Poem. [By Lord Byron.] Third Edition Lord George Gordon Byron / Carte Carte broșată
common.buy 110.73 lei
Triumph of the Moon Ronald Hutton / Carte Carte broșată
common.buy 180.91 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