info@libristo.bg
LIBRISTO 0
Безплатна доставка със Speedy над 129 лв
Box Now 9 лв Speedy office 11 лв Speedy 13 лв ЕКОНТ 6 лв Еконтомат/Офис на Еконт 6 лв
phone Контакт phoneКак се пазарува?

Types for Proofs and Programs

Език Английски езикАнглийски език
Книга С меки корици
Книга 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 179 b
142 лв
Външен склад в ограничено количество Изпращаме след 14-18 дни

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

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

Assimil Arabisch ohne Mühe heute - Lehrbuch und 1 MP3-CD Assimil Gmbh / С твърди корици
common.buy 207 лв
Aunt Jo's Scrap-Bag Louisa May Alcott / С меки корици
common.buy 51 лв
Erlaubte Vorteilsannahme - 331 StGB, 70 BBG, 10 BAT. Bernhard Hardtung / С меки корици
common.buy 159 лв
Mein 24. Dezember Daniela Kunerl / Лист
common.buy 49 лв
Schritt für Schritt zum erfolgreichen Drehbuch Christopher Keane / С твърди корици
common.buy 53 лв

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.

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

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

Вход

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

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

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

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

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