Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Types for Proofs and Programs

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

Език Английски езикАнглийски език
Книга С меки корици
Книга Types for Proofs and Programs Stefano Berardi
Код Либристо: 05274627
Издателство Springer, Berlin, ноември 1995
This volume contains a refereed selection of revised full papers chosen from the contributions prese... Цялото описание
? points 132 b
54.35 €
106.30  лв
Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

Ken Laszlo (Deluxe Edition) Ken Laszlo / Аудио Аудио компактдиск
common.buy 17.36 € 33.94 лв
Caracteres Lu Par Denis Podalydes (Les) Bruyere La / Аудио Аудио компактдиск
common.buy 38.33 € 74.97 лв
Zadní pokoj Jorn Lier Horst / Книга С твърди корици
common.buy 15.29 € 29.90 лв
MANAGEMENT DES ENTREPRISES BTS 2E ANNEE POCHETTE REFLEXE LIVRE DU PROFESSEUR 2009 Marie-José Chacon / Книга С меки корици
common.buy 30.17 € 59.01 лв
Vive l'Europe ! Bizet Книга С меки корици
common.buy 17.51 € 34.25 лв
Pan Bůh a paní Bohová mají krizi Ivan Lupták / Книга С меки корици
common.buy 13.74 € 26.87 лв
Würfelspiel: Kriss Kross - Wer erreicht die höchste Punktzahl? Reiner Knizia / Игра/играчка Игра
common.buy 14.15 € 27.68 лв
AUTOFAGIA VENTURA MEDINA / Книга С меки корици
common.buy 27.02 € 52.84 лв
Eine wirtschaftliche Analyse der Umweltauswirkungen der Viehweide Onon Bayasgalan / Книга С меки корици
common.buy 33.99 € 66.48 лв
Brainstorming Andrea Windolph / Книга С меки корици
common.buy 9.55 € 18.68 лв
Weidenrute und Schwert Gerwalt Richardson / Книга С меки корици
common.buy 14.72 € 28.79 лв
Leiden unsers Herren Jesu Christi Johannes Brassart / Книга С меки корици
common.buy 20.87 € 40.82 лв
Inventaire Des Meubles Et Titres de Jean-Hector de Fay, Marquis de la Tour-Maubourg, Marechal CHARREYRE-A / Книга С меки корици
common.buy 14.57 € 28.49 лв
Ayudas públicas y libre competencia en el sector audiovisual Sara Medina González / Книга С меки корици
common.buy 45.67 € 89.32 лв
Ludwig II. Christine Tauber / Книга С твърди корици
common.buy 11.41 € 22.32 лв
Oeuvres Choisies de M. Eugene Sue. Fernand Duplessis, Memoires d'Un Mari Eugene Sue / Книга С меки корици
common.buy 17.41 € 34.05 лв
Artesanias María Leonor Aguilar García / Книга С меки корици
common.buy 27.48 € 53.75 лв
Musikgeschichte(n) HANS BA LER / Книга binding.
common.buy 35.70 € 69.82 лв
Impacto economico de la inocuidad en el sector agroexportador Alejandro Vaquero Vera / Книга С меки корици
common.buy 47.06 € 92.05 лв
Die Herren von Greifenklau Karl May / Книга С твърди корици
common.buy 26.55 € 51.93 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Types for Proofs and Programs
Автор Stefano Berardi, Mario Coppo
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1996
Брой страници 298
Баркод 9783540617808
ISBN 3540617809
Код Либристо 05274627
Издателство Springer, Berlin
Тегло 474
Размери 156 x 234 x 16

Категории

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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Top
Bones & All Camille DeAngelis / Книга С меки корици
common.buy 11.21 € 21.92 лв
Fundamental Phenomena in the Materials Sciences L. J. Bonis / Книга С меки корици
common.buy 61.07 € 119.44 лв
Restaurant and Bar Design II Zheng Siyu / Книга С твърди корици
common.buy 84.78 € 165.82 лв
Seeing Angels Emma Heathcote-James / Книга С твърди корици
common.buy 28.52 € 55.77 лв
Christmas Wish Gregory Porter / Аудио Аудио плоча
common.buy 32.96 € 64.46 лв
GS^2 Green Solution Generative System Abou-Elenein Ahmed / Книга С меки корици
common.buy 75.22 € 147.12 лв
2 Peter and Jude - Concordia Commentary Curtis Giese / Книга С твърди корици
common.buy 106.28 € 207.86 лв
Charles Dickens, The Story Of His Life (1870) John Camden Hotten / Книга С твърди корици
common.buy 37.04 € 72.45 лв
Spatial Analysis for Complex Territorial Systems Luca Salvati / Книга С меки корици
common.buy 209.10 € 408.96 лв
Подготвяме
Bloody Provost R.A.J. Tyler / Книга С твърди корици
common.buy 22.63 € 44.25 лв
Biographical Sketches of Joseph Smith the Prophet and His Progenitors for Many Generations Lucy Smith / Книга С меки корици
common.buy 38.23 € 74.77 лв
Struggle for Recognition in International Relations Murray / Книга С твърди корици
common.buy 84.63 € 165.52 лв
Audio-Vision: Sound on Screen Claudia Gorbman / Книга С меки корици
common.buy 32.75 € 64.06 лв
Industrial Fuels Joseph Stephenson / Книга С твърди корици
common.buy 31.56 € 61.73 лв
Female Hustler Part 4: All I See Is The Money... Joy Deja King / Книга С меки корици
common.buy 17.51 € 34.25 лв
Heartbreaker Nick Louth / Книга С меки корици
common.buy 18.60 € 36.37 лв
Selling Modernity Pamela E. Swett / Книга С твърди корици
common.buy 167.35 € 327.30 лв
Transforming Nursing Education through Problem-Based Learning Elizabeth Rideout / Книга С меки корици
common.buy 72.69 € 142.17 лв
What Did the Biblical Writers Know and When Did They Know it? Dever / Книга С меки корици
common.buy 24.54 € 47.99 лв
Spoken Natural Language Dialog Systems Ronnie W. Smith / Книга С твърди корици
common.buy 124.51 € 243.53 лв
Biology of Memory G. Adam / Книга С меки корици
common.buy 54.35 € 106.30 лв
Cairo Trilogy Naguib Mahfouz / Книга С твърди корици
common.buy 33.79 € 66.08 лв
Talk Fiction Irene Kacandes / Книга С меки корици
common.buy 37.82 € 73.96 лв
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 / Книга С твърди корици
common.buy 150.71 € 294.76 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo