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 Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Types for Proofs and Programs

International Workshop, TYPES '95, Torino, Italy, June 5-8, 1995. Selected Papers

Limba englezăengleză
Carte Carte broșată
Carte Types for Proofs and Programs Stefano Berardi
Codul Libristo: 05274627
Editura Springer, Berlin, noiembrie 1995
This volume contains a refereed selection of revised full papers chosen from the contributions prese... Descrierea completă
? points 132 b
288.38 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Vive l'Europe ! Bizet Carte Carte broșată
common.buy 82.59 lei
Leiden unsers Herren Jesu Christi Johannes Brassart / Carte Carte broșată
common.buy 110.46 lei
COMPRA ANTICIPADA PAQUETE AHORRO AUXILIAR DE ADMINISTRACIóN GENERAL DE EXTREMADU NO DISPONIBLE / Carte Carte broșată
common.buy 850.94 lei
Le Bonnet de nuit du commis au poivre H.C. Andersen / E-book Adobe ePub DRM
common.buy 31.98 lei
Pan Bůh a paní Bohová mají krizi Ivan Lupták / Carte Carte broșată
common.buy 72.97 lei
Ken Laszlo (Deluxe Edition) Ken Laszlo / Audio Audio CD
common.buy 92.07 lei
Kolorowanki logopedyczne Głoski T D N z naklejkami Magdalena Małecka / Carte Carte broșată
common.buy 15.23 lei
Würfelspiel: Kriss Kross - Wer erreicht die höchste Punktzahl? Reiner Knizia / Joc / Jucărie Joc
common.buy 70.36 lei
Eine wirtschaftliche Analyse der Umweltauswirkungen der Viehweide Onon Bayasgalan / Carte Carte broșată
common.buy 223.53 lei
AUTOFAGIA VENTURA MEDINA / Carte Carte broșată
common.buy 141.13 lei
Caracteres Lu Par Denis Podalydes (Les) Bruyere La / Audio Audio CD
common.buy 188.64 lei
Die Herren von Greifenklau Karl May / Carte Copertă tare
common.buy 155.36 lei
Die Fixen Kosten in Der Kostentr gerrechnung Gerhard Munzel / Carte Carte broșată
common.buy 296.55 lei
Agentin mit Herz. Staffel.3, 5 DVDs Erwin Dumbrille / Videoclip DVD
common.buy 133.85 lei
Impacto economico de la inocuidad en el sector agroexportador Alejandro Vaquero Vera / Carte Carte broșată
common.buy 994.98 lei
Musikgeschichte(n) HANS BA LER / Carte binding.
common.buy 175.31 lei
Artesanias María Leonor Aguilar García / Carte Carte broșată
common.buy 145.94 lei
Oeuvres Choisies de M. Eugene Sue. Fernand Duplessis, Memoires d'Un Mari Eugene Sue / Carte Carte broșată
common.buy 97.12 lei
MANAGEMENT DES ENTREPRISES BTS 2E ANNEE POCHETTE REFLEXE LIVRE DU PROFESSEUR 2009 Marie-José Chacon / Carte Carte broșată
common.buy 147.24 lei
Ayudas públicas y libre competencia en el sector audiovisual Sara Medina González / Carte Carte broșată
common.buy 231.65 lei
Inventaire Des Meubles Et Titres de Jean-Hector de Fay, Marquis de la Tour-Maubourg, Marechal CHARREYRE-A / Carte Carte broșată
common.buy 81.08 lei
Ludwig II. Christine Tauber / Carte Copertă tare
common.buy 56.32 lei
Weidenrute und Schwert Gerwalt Richardson / Carte Carte broșată
common.buy 72.97 lei
Brainstorming Andrea Windolph / Carte Carte broșată
common.buy 50.82 lei

This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs. The workshop took place in Torino, Italy, in June 1995.Type theory is a formalism in which theorems and proofs, specifications and programs can be represented in a uniform way. The 19 papers included in the book deal with foundations of type theory, logical frameworks, and implementations and applications; all in all they constitute a state-of-the-art survey for the area of type theory.

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, Mario Coppo
Limba engleză
Legare Carte - Carte broșată
Data publicării 1996
Număr pagini 298
EAN 9783540617808
ISBN 3540617809
Codul Libristo 05274627
Editura Springer, Berlin
Greutatea 474
Dimensiuni 156 x 234 x 16

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
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 > Mathematical theory of computation
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

Curând
Bloody Provost R.A.J. Tyler / Carte Copertă tare
common.buy 119.88 lei
Energy Healing MD Ann Marie Chiasson / E-book Adobe ePub DRM
common.buy 91.86 lei
Restaurant and Bar Design II Zheng Siyu / Carte Copertă tare
common.buy 424.91 lei
Seeing Angels Emma Heathcote-James / Carte Copertă tare
common.buy 151.43 lei
Early Metallurgical Sites in Great Britain Institute of Metals / Carte Carte broșată
common.buy 132.41 lei
GS^2 Green Solution Generative System Abou-Elenein Ahmed / Carte Carte broșată
common.buy 1 592.32 lei
Christmas Wish Gregory Porter / Audio Audio plăci vinil
common.buy 165.69 lei
2 Peter and Jude - Concordia Commentary Curtis Giese / Carte Copertă tare
common.buy 547.21 lei
Webs from Fancy's Loom; Poems and Sketches Lawton / Carte Copertă tare
common.buy 186.47 lei
Summer with Seuss Workbook: Grades 2-3 GR2-3 / Carte Carte broșată
common.buy 57.23 lei
Top
Bones & All Camille DeAngelis / Carte Carte broșată
common.buy 61.34 lei
Grand Theft Auto IV soundtrack Agnes F. Vandome / Carte Carte broșată
common.buy 897.88 lei
Biographical Sketches of Joseph Smith the Prophet and His Progenitors for Many Generations Lucy Smith / Carte Carte broșată
common.buy 212.78 lei
The Life And Works Of Paul Laurence Dunbar Lida Keck Wiggins / Carte Copertă tare
common.buy 286.45 lei
Struggle for Recognition in International Relations Murray / Carte Copertă tare
common.buy 631.41 lei
Audio-Vision: Sound on Screen Claudia Gorbman / Carte Carte broșată
common.buy 173.81 lei
Industrial Fuels Joseph Stephenson / Carte Copertă tare
common.buy 175.74 lei
Top
Money Grows on Trees: "How to reshape your thoughts, beliefs and ideals about money and become truly wealthy." Jerremy Alexander Newsome / Carte Carte broșată
common.buy 107.54 lei
Female Hustler Part 4: All I See Is The Money... Joy Deja King / Carte Carte broșată
common.buy 100.13 lei
Heartbreaker Nick Louth / Carte Carte broșată
common.buy 79.58 lei
Randolph Caldecott: A Personal Memoir Of His Early Art Career (1886) Henry Blackburn / Carte Carte broșată
common.buy 149.64 lei
Tattooing of the North American Indians A. T. Sinclair / Carte Copertă tare
common.buy 186.47 lei
Spatial Analysis for Complex Territorial Systems Luca Salvati / Carte Carte broșată
common.buy 1 137.42 lei
Malini: Through My Eyes Robert Hillman / Carte Carte broșată
common.buy 37.28 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?