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 '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
286.02 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Ken Laszlo (Deluxe Edition) Ken Laszlo / Audio Audio CD
common.buy 91.44 lei
Caracteres Lu Par Denis Podalydes (Les) Bruyere La / Audio Audio CD
common.buy 193.22 lei
Zadní pokoj Jorn Lier Horst / Carte Copertă tare
common.buy 76.22 lei
MANAGEMENT DES ENTREPRISES BTS 2E ANNEE POCHETTE REFLEXE LIVRE DU PROFESSEUR 2009 Marie-José Chacon / Carte Carte broșată
common.buy 152.03 lei
Vive l'Europe ! Bizet Carte Carte broșată
common.buy 88.10 lei
Pan Bůh a paní Bohová mají krizi Ivan Lupták / Carte Carte broșată
common.buy 72.25 lei
Würfelspiel: Kriss Kross - Wer erreicht die höchste Punktzahl? Reiner Knizia / Joc / Jucărie Joc
common.buy 71.00 lei
AUTOFAGIA VENTURA MEDINA / Carte Carte broșată
common.buy 136.80 lei
Eine wirtschaftliche Analyse der Umweltauswirkungen der Viehweide Onon Bayasgalan / Carte Carte broșată
common.buy 178.72 lei
Brainstorming Andrea Windolph / Carte Carte broșată
common.buy 50.36 lei
Weidenrute und Schwert Gerwalt Richardson / Carte Carte broșată
common.buy 73.61 lei
Leiden unsers Herren Jesu Christi Johannes Brassart / Carte Carte broșată
common.buy 109.69 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 80.39 lei
Ayudas públicas y libre competencia en el sector audiovisual Sara Medina González / Carte Carte broșată
common.buy 230.65 lei
Ludwig II. Christine Tauber / Carte Copertă tare
common.buy 57.13 lei
Oeuvres Choisies de M. Eugene Sue. Fernand Duplessis, Memoires d'Un Mari Eugene Sue / Carte Carte broșată
common.buy 96.24 lei
Artesanias María Leonor Aguilar García / Carte Carte broșată
common.buy 144.62 lei
Musikgeschichte(n) HANS BA LER / Carte binding.
common.buy 179.97 lei
Impacto economico de la inocuidad en el sector agroexportador Alejandro Vaquero Vera / Carte Carte broșată
common.buy 247.55 lei
Die Herren von Greifenklau Karl May / Carte Copertă tare
common.buy 139.62 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

Top
Bones & All Camille DeAngelis / Carte Carte broșată
common.buy 58.80 lei
Fundamental Phenomena in the Materials Sciences L. J. Bonis / Carte Carte broșată
common.buy 307.30 lei
Restaurant and Bar Design II Zheng Siyu / Carte Copertă tare
common.buy 427.53 lei
Seeing Angels Emma Heathcote-James / Carte Copertă tare
common.buy 150.05 lei
Christmas Wish Gregory Porter / Audio Audio plăci vinil
common.buy 164.12 lei
GS^2 Green Solution Generative System Abou-Elenein Ahmed / Carte Carte broșată
common.buy 395.62 lei
2 Peter and Jude - Concordia Commentary Curtis Giese / Carte Copertă tare
common.buy 534.62 lei
Charles Dickens, The Story Of His Life (1870) John Camden Hotten / Carte Copertă tare
common.buy 194.78 lei
Spatial Analysis for Complex Territorial Systems Luca Salvati / Carte Carte broșată
common.buy 1 051.84 lei
Curând
Bloody Provost R.A.J. Tyler / Carte Copertă tare
common.buy 118.97 lei
Biographical Sketches of Joseph Smith the Prophet and His Progenitors for Many Generations Lucy Smith / Carte Carte broșată
common.buy 210.84 lei
Struggle for Recognition in International Relations Murray / Carte Copertă tare
common.buy 425.86 lei
Audio-Vision: Sound on Screen Claudia Gorbman / Carte Carte broșată
common.buy 172.36 lei
Industrial Fuels Joseph Stephenson / Carte Copertă tare
common.buy 174.13 lei
Female Hustler Part 4: All I See Is The Money... Joy Deja King / Carte Carte broșată
common.buy 96.86 lei
Heartbreaker Nick Louth / Carte Carte broșată
common.buy 92.90 lei
Selling Modernity Pamela E. Swett / Carte Copertă tare
common.buy 919.20 lei
Transforming Nursing Education through Problem-Based Learning Elizabeth Rideout / Carte Carte broșată
common.buy 398.02 lei
What Did the Biblical Writers Know and When Did They Know it? Dever / Carte Carte broșată
common.buy 137.22 lei
Spoken Natural Language Dialog Systems Ronnie W. Smith / Carte Copertă tare
common.buy 626.49 lei
Biology of Memory G. Adam / Carte Carte broșată
common.buy 286.02 lei
Cairo Trilogy Naguib Mahfouz / Carte Copertă tare
common.buy 177.57 lei
Talk Fiction Irene Kacandes / Carte Carte broșată
common.buy 207.82 lei
Quantum Field Theory And Beyond: Essays In Honor Of Wolfhart Zimmermann - Proceedings Of The Symposium In Honor Of Wolfhart Zimmermann's 80th Birthday Erhard Seiler / Carte Copertă tare
common.buy 792.61 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