Проверка на състоянието на поръчката
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 '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Език Английски езикАнглийски език
Книга С меки корици
Книга Types for Proofs and Programs Peter Dybjer
Код Либристо: 05274523
Издателство Springer, Berlin, ноември 1994
This book presents a strictly refereed collection of revised full papers selected from the papers ac... Цялото описание
? points 132 b
54.47 €
106.54  лв
Външен склад Изпращаме след 5-8 дни

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

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

Gömülü Samdan Stefan Zweig / Книга С меки корици
common.buy 10.77 € 21.06 лв
Waylon university. La sfida Ilsa Madden-Mills / Книга С меки корици
common.buy 27.60 € 53.97 лв
O Principezinho de Saint-Exupéry Antoine / Книга С меки корици
common.buy 11.75 € 22.98 лв
Mein 24. Dezember Daniela Kunerl / Книга Лист
common.buy 20.97 € 41.01 лв
Erlaubte Vorteilsannahme - 331 StGB, 70 BBG, 10 BAT. Bernhard Hardtung / Книга С меки корици
common.buy 64.73 € 126.59 лв
JUJUTSU KAISEN: UN CAMINO DE ESPINAS AL AMANECER (NOVELA 2) Gege Akutami / Книга С меки корици
common.buy 22.68 € 44.35 лв
NEW SUMMER ENGLISH 6§EP SB+CD 09 / Книга С меки корици
common.buy 23.82 € 46.58 лв
Los pájaros. Las ranas. Las asambleístas ARISTOFANES / Книга С меки корици
common.buy 15.74 € 30.78 лв
LE GUIDE DU PREMIER TATOUAGE TATTOO / Книга С меки корици
common.buy 23.97 € 46.88 лв
ESCRITOS SUBNORMALES (I, V. MONTALBAN) VAZQUEZ MONTALBAN / Книга binding.
common.buy 63.07 € 123.35 лв
Zingaro, un théâtre pour les chevaux (titre provisoire) Pascaud / Книга С меки корици
common.buy 29.98 € 58.63 лв
Lyrikanalyse Natascha Bea / Книга С меки корици
common.buy 15.27 € 29.87 лв
DEPECHE MODE Edition inkl. XXL-Wandkalender 2025 + Ultra Cover-CD lim. 999 Exemplare / Книга С твърди корици
common.buy 21.90 € 42.83 лв
Retailbanking im Spannungsfeld zwischen kurzfristigem Verkaufserfolg und langfristigem Kundennutzen Oliver U. Haas / Книга С меки корици
common.buy 40.65 € 79.50 лв
Edemocracy & Egovernment Andreas Meier / Книга С меки корици
common.buy 44.94 € 87.90 лв
Correr, comer, vivir SCOTT JUREK / Книга С меки корици
common.buy 19.67 € 38.48 лв
Abenteuergeschichten zum gemeinsamen Lesen Luise Holthausen / Книга С твърди корици
common.buy 5.95 € 11.64 лв
Asturiana Susaeta / Книга С меки корици
common.buy 8.80 € 17.21 лв
Podrobný obrazový průvodce Uměním kaligrafie Abbey Sy / Книга С меки корици
common.buy 13.87 € 27.13 лв
Grundlagen elektrischer Betriebsmittel Heinrich Hübscher / Книга С меки корици
common.buy 23.09 € 45.16 лв
Elisa und der Schatten Napoleons Christine Fischer / Книга С меки корици
common.buy 13.46 € 26.32 лв
Modelo de Competitividad Para Las Empresas de Manufactura En Venezuela Dalia Carolina Correa Osuna / Книга С меки корици
common.buy 46.39 € 90.74 лв
Kurz odblokování čaker Ega Rasch / Книга С твърди корици
common.buy 10.35 € 20.25 лв
Charlie se convierte en T-Rex SAM COPELAND / Книга С твърди корици
common.buy 22.63 € 44.25 лв

This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994.The 10 papers included address various aspects of developing computer-assisted proofs and programs using a logical framework. Type theory and three logical frameworks based on it are dealt with: ALF, Coq, and LEGO; other topics covered are metatheory, the Isabelle system, 2-calculus, proof checkers, and ZF set theory.

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

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

Пълно заглавие Types for Proofs and Programs
Автор Peter Dybjer, Bengt Nordström, Jan Smith
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1995
Брой страници 210
Баркод 9783540605799
ISBN 3540605797
Код Либристо 05274523
Издателство Springer, Berlin
Тегло 294
Размери 155 x 233 x 12

Категории

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 Книгата ще пристигне на адреса на получателя

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

Automotive Traveler's Classic Car: Premiere Issue Richard Truesdell / Книга С меки корици
common.buy 19.31 € 37.77 лв
Kakuro - 200 Logic Puzzles 12x12 (Volume 2) Michael Brown / Книга С меки корици
common.buy 7.66 € 14.98 лв
Ultimate Christmas Colouring Book for Kids Feel Happy Books / Книга С меки корици
common.buy 9.89 € 19.33 лв
Acta Soc. pro Fauna et Flora Fennica Societas Pro Fauna Et Flora Fennica / Книга С меки корици
common.buy 27.91 € 54.58 лв
Harmonic Wealth: The Secret of Attracting the Life You Want James Arthur Ray / Книга С меки корици
common.buy 19.31 € 37.77 лв
Top
No Period. Now What? Nicola J Rinaldi / Книга С меки корици
common.buy 26.97 € 52.76 лв
Top
NIV Holy Bible (Hodder Classics) New International Version / Книга С меки корици
common.buy 8.18 € 15.99 лв
The British Arms In North China And Japan: Peking 1860, Kagosima 1862 (1864) David Field Rennie / Книга С меки корици
common.buy 37.33 € 73.02 лв
Ligeia's Translations: CTR Translation: English, French, Spanish & Persian Maryam Tajfar / Книга С меки корици
common.buy 11.23 € 21.97 лв
The Secret World of Easter Eggs: Hidden Features of the Websites You Know and Love James Dorrian / Книга С меки корици
common.buy 7.66 € 14.98 лв
How to clerk a track meet MR G K Butts / Книга С меки корици
common.buy 14.86 € 29.06 лв
The Survivors Project: Telling the Truth About Life After Sexual Abuse Nina Hoffmann / Книга С меки корици
common.buy 17.50 € 34.22 лв
The Stonebearer: Book One of the Spiritmaster Chronicles Bucky Montgomery / Книга С меки корици
common.buy 15.74 € 30.78 лв
Financial Success in a Box: 10 Steps to Take Control of Your Money Robert L Bassford / Книга С меки корици
common.buy 23.87 € 46.68 лв
HBR's 10 Must Reads on Communication (with featured article "The Necessary Art of Persuasion," by Jay A. Conger) Harvard Business Review / Книга С твърди корици
common.buy 37.85 € 74.03 лв
Подготвяме
Introduction to Quantized Fields Christopher James Bostock / Книга С твърди корици
common.buy 60.84 € 119.00 лв
No More Peanuts for Ellie the Elephant: A Children's Book on Peanut Allergy Awareness Mel Schroeder / Книга С меки корици
common.buy 7.66 € 14.98 лв
Нови
The Idea of China Guoqi Xu / Книга С твърди корици
common.buy 38.68 € 75.65 лв
Bali Travel Map Tenth Edition Periplus Editions / Печатни материали Карта
common.buy 7.71 € 15.08 лв
I WAS TOLD THERED BE A VILLAGE WIRT MELISSA / Книга С твърди корици
common.buy 23.14 € 45.26 лв
Dot Painting Mandala Coloring Book for Adults Monsoon Publishing / Книга С меки корици
common.buy 8.95 € 17.51 лв
BETTER BROKEN ROGERS SEAN J / Книга С твърди корици
common.buy 30.50 € 59.65 лв
Popularmmos Presents the End of All the Things Danielle Jones / Книга С меки корици
common.buy 12.89 € 25.21 лв
Circles of Stone (The Mirror Chronicles, Book 2) Ian Johnstone / Аудиокнига MP3
common.buy 18.59 € 36.35 лв

Вход

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

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

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

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

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