Проверка на състоянието на поръчката
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 2003, Torino, Italy, April 30 - May 4, 2003. Revised Selected Papers

Език Английски езикАнглийски език
Книга С меки корици
Книга Types for Proofs and Programs Stefano Berardi
Код Либристо: 01559460
Издателство Springer, Berlin, ноември 2003
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop o... Цялото описание
? points 132 b
54.35 €
106.30  лв
Външен склад Изпращаме след 5-8 дни

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

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

Vinda do Kaiser H H Munro (Saki) / Книга С меки корици
common.buy 10.33 € 20.20 лв
Śmierć w rodzinie. Trudne sprawy. Przygody Fenka Dominika Gałka / Книга С меки корици
common.buy 4.23 € 8.28 лв
Midnight Scandal Sex Neneko Narazaki / Книга С меки корици
common.buy 8.93 € 17.47 лв

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop of the Types Working Group, TYPES 2003, held in Torino, Italy in April/May 2003.The 25 revised full papers presented were carefully selected during two rounds of reviewing and improvement. All current issues in type theory and type systems and their applications to programming, systems design, and proof theory are addressed. Among the systems dealt with are Isabelle/Isar, PAF!, and Coq.

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

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

Пълно заглавие Types for Proofs and Programs
Автор Stefano Berardi, Mario Coppo, Ferruccio Damiani
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2004
Брой страници 412
Баркод 9783540221647
ISBN 3540221646
Код Либристо 01559460
Издателство Springer, Berlin
Тегло 600
Размери 156 x 234 x 22

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Theories of Group Behavior Brian Mullen / Книга С твърди корици
common.buy 95.37 € 186.54 лв
New Canadian Realisms Roberta Barker / Книга С меки корици
common.buy 28.52 € 55.77 лв
Life on the Farm - Adventure with the Cats Dovie G. Therriault -. Bruder / Книга С меки корици
common.buy 16.53 € 32.33 лв
RIGBY PM PLUS Rigby / Книга С меки корици
common.buy 80.49 € 157.43 лв
The Law of Nations: Investigated in a Popular Manner: Addressed to the Farmers of the United States. William J Duane / Книга С меки корици
common.buy 15.60 € 30.51 лв

Вход

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

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

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

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

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