phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Types for Proofs and Programs

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 161 b
324 lei
În depozitul extern în cantități mici Expediem în 12-17 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Bones & All Camille DeAngelis / Carte broșată
common.buy 61 lei
Praktikum pracovního práva Tomáš Tintěra / Carte broșată
common.buy 47 lei
Angel Face Barbie Latza Nadeau / Carte broșată
common.buy 97 lei
Spanking at the Girl's Convent School Jacqui Knight / Carte broșată
common.buy 66 lei
curând
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 / Copertă tare
common.buy 786 lei
curând
Religious Institutes and Catholic Culture in 19th- and 20th-Century Europe Urs Altermatt / Copertă tare
common.buy 326 lei
Impacto economico de la inocuidad en el sector agroexportador Alejandro Vaquero Vera / Carte broșată
common.buy 295 lei
Artesanias María Leonor Aguilar García / Carte broșată
common.buy 174 lei
What Did the Biblical Writers Know and When Did They Know it? Dever / Carte broșată
common.buy 131 lei
Agentin mit Herz. Staffel.3, 5 DVDs Erwin Dumbrille / DVD
common.buy 91 lei
Talk Fiction Irene Kacandes / Carte broșată
common.buy 210 lei
Fundamental Phenomena in the Materials Sciences L. J. Bonis / Carte broșată
common.buy 324 lei
Spoken Natural Language Dialog Systems Ronnie W. Smith / Copertă tare
common.buy 676 lei
Seeing Angels Emma Heathcote-James / Copertă tare
common.buy 158 lei
Musikgeschichte(n) / binding.
common.buy 176 lei
What Ministers Know Thomas M. Tanner / Copertă tare
common.buy 897 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.

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

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