Проверка на състоянието на поръчката
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€

Theorem Proving in Higher Order Logics

14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Theorem Proving in Higher Order Logics Richard J. Boulton
Код Либристо: 01563734
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, август 2001
This book constitutes the thoroughly refereed proceedings of the 14th International Conference on Th... Цялото описание
? points 132 b
54.25 €
106.10  лв
Външен склад Изпращаме след 5-8 дни

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

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

Deckungsbeitragsrechnung im Getränkefachgroßhandel Aco Michael Tschernutter / Книга С твърди корици
common.buy 46.98 € 91.88 лв
Planet der Zehnwortdiktatur (Teil 1) Michael Häusler / Книга С меки корици
common.buy 11.39 € 22.28 лв
Homo sapiens: die Krone der Schoepfung Martin Rhonheimer / Книга С твърди корици
common.buy 80.96 € 158.35 лв
Des orties et des hommes Pigani / Книга С меки корици
common.buy 27.53 € 53.85 лв
BOHEMIAN RHAPSODY CONCERT BAND/HARMONIE FREDDIE MERCURY Книга binding.
common.buy 37.08 € 72.51 лв
Else Lasker-Schüler, Elise Bambus & die "Irrenanstalt Dalldorf" Thomas Höfert / Книга С меки корици
common.buy 21.71 € 42.45 лв
Departement de la Seine-Inferieure. Asile Public d'Alienes de Saint-Yon Saint-Etienne-Du-Rouvray CORTYL-E / Книга С меки корици
common.buy 18.35 € 35.90 лв
Ciplak Maymun Morris Desmond / Книга С меки корици
common.buy 16.91 € 33.07 лв
Filozof i papiez Wybor tekstow Jaroslaw Merecki / Книга С твърди корици
common.buy 17.99 € 35.19 лв
Gray Naip'ddle Alvaro Espino / Книга С меки корици
common.buy 19.44 € 38.02 лв

This book constitutes the thoroughly refereed proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2001, held in Edinburgh, Scotlang, UK in September 2001. The 23 revised full papers presented together with one invited paper and two invited abstracts were carefully reviewed and selected from a total of 47 submissions. All current issues in HOL theorem proving and formal verification of hardware and software systems are addressed. Among the HOL theorem proving systems evaluated are Coq, HOL, Isabelle, and PVS.

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

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

Пълно заглавие Theorem Proving in Higher Order Logics
Автор Richard J. Boulton, Paul B. Jackson
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2001
Брой страници 402
Баркод 9783540425250
ISBN 354042525X
Код Либристо 01563734
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1270
Размери 155 x 233 x 23

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Top
Keep Calm And Code On Alex Lau / Книга С меки корици
common.buy 15.72 € 30.75 лв
The Book of Job: A New Translation Lee Roy Martin / Книга С меки корици
common.buy 15.67 € 30.65 лв
Handbook of Positive Psychology in Intellectual and Developmental Disabilities Karrie A. Shogren / E-книга Adobe ePub DRM
common.buy 560.48 € 1 096.21 лв
Adventures of Uncle Rocky, Fireman James Burd Brewster / Аудиокнига MP3
common.buy 10.57 € 20.67 лв
Odyssey Homer / E-книга Adobe ePub DRM
common.buy 19.75 € 38.62 лв
Understanding Children's Emotions Isabelle Filliozat / Книга С меки корици
common.buy 19.02 € 37.21 лв
Rosamunde Pilcher's Cornwall Gill Knappett / Книга С меки корици
common.buy 6.85 € 13.41 лв
The Sagebrusher: A Story of The West Emerson Hough / Книга С меки корици
common.buy 10.31 € 20.16 лв
Reading Country Music Cecelia Tichi / Книга С меки корици
common.buy 42.90 € 83.91 лв
How the Other Half Lives Jacob A Riis / Книга С меки корици
common.buy 17.79 € 34.79 лв
Theory of Chess; A Treatise, in Which the Principles and Maxims of This Game, or Rather Science, Are Clearly and Concisely Explained; ... Peter Pratt / Книга С меки корици
common.buy 15.57 € 30.45 лв
My Graduation Maria Morales / Книга С меки корици
common.buy 8.35 € 16.33 лв
Applied Quantum Chemistry J. Angyan / Книга С твърди корици
common.buy 324.18 € 634.04 лв
Mechanics and Physics of Precise Vacuum Mechanisms E. A. Deulin / Книга С меки корици
common.buy 153.94 € 301.08 лв
IMMOBILIZABLE BISUBSTRATE-ANALOGUE INHIBITORS OF PROTEIN KINASES Kaido Viht / Книга С меки корици
common.buy 52.44 € 102.57 лв
ISG 48: A Commentary on Acts Yon Gyong Kwon / Книга С меки корици
common.buy 21.60 € 42.25 лв

Вход

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

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

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

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

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?