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

Interactive Theorem Proving

Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Interactive Theorem Proving Lennart Beringer
Код Либристо: 01661818
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юли 2012
This book constitutes the thoroughly refereed proceedings of the Third International Conference on I... Цялото описание
? points 148 b
61.08 €
119.46  лв
Външен склад в ограничено количество Изпращаме след 13-18 дни

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

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

Remedios naturales para síntomas habituales : guía de plantas medicinales, alimentos y estilo de vida para distintas dolencias Paula Jiménez Fonseca / Книга С меки корици
common.buy 28.44 € 55.63 лв
Se débrouiller en néerlandais vite fait bien fait ! VASSEUR Книга С меки корици
common.buy 7.39 € 14.46 лв
ORACLES CHALDAIQUES GEMISTE PLETHON Книга binding.
common.buy 50.42 € 98.62 лв
REGIA AERONAUTICA - Raid e missioni speciali Robert Robison / Книга С меки корици
common.buy 15.51 € 30.34 лв
EL SORPRENDENTE JESUS DE MARCOS CASTRO SANCHEZ / Книга С меки корици
common.buy 34.18 € 66.86 лв
Pokémon - Coloriages extraordinaires / Книга С меки корици
common.buy 7.29 € 14.25 лв
Fantastyczna Czwórka. Tom 1 Opracowanie zbiorowe / Книга С твърди корици
common.buy 30.72 € 60.08 лв
BILBAO Y SAN SEBASTIAN DE CERCA 3 Paul Stafford / Книга Книга
common.buy 16.44 € 32.16 лв
Ronaldo - Fotbalové ikony (komiks) Katarína Jančová / Книга С меки корици
common.buy 11.32 € 22.14 лв
cluny musee national moyen age Книга Книга
common.buy 29.79 € 58.26 лв
Einleitung In Die Konchyliologie, Oder Grundzuge Der Naturgeschichte Der Weichthiere (1853) George Johnston / Книга С меки корици
common.buy 51.51 € 100.74 лв
Dunkelgraf Ludwig Bechstein / Книга С меки корици
common.buy 37.75 € 73.84 лв
Estudio fenomenologico de las caracteristicas socio afectivas Marcela Victoria Marrero Calvo / Книга С меки корици
common.buy 51.82 € 101.35 лв
Essais d'Impressions En Couleurs SANS AUTEUR / Книга С меки корици
common.buy 13.70 € 26.80 лв
Real-Enzyklopädie für protestantische Theologie und Kirche ohne Autor / Книга С меки корици
common.buy 82.80 € 161.94 лв
Spisy III Eseje, Další pátrání, Dějiny věčnosti Jorge Luis Borges / Книга С твърди корици
common.buy 15.10 € 29.53 лв
Obra-Jogo Rocha Aldene / Книга С меки корици
common.buy 51.82 € 101.35 лв
Koshiki Contact Karatedo Olaf Lotze-Leoni / Книга С меки корици
common.buy 9.62 € 18.81 лв
Internationale Projektfinanzierung Carola Schulz / Книга С меки корици
common.buy 35.94 € 70.30 лв
Patentrecherche - Technologieuberwachung durch kunstliche Intelligenz Katharina Heil / Книга С меки корици
common.buy 18.10 € 35.39 лв
Filmanalyse In this world unter der Betrachtung von Grunden fur Migration in Verbindung mit der Tsunami-Katastrophe 2004 Stefan Wurm / Книга С меки корици
common.buy 17.11 € 33.47 лв
August Hermann Francke - Sein Leben Und Wirken ALS Pietistischer P dagoge Susanne Potthast / Книга С меки корици
common.buy 17.11 € 33.47 лв

This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised full papers presented together with 4 rough diamond papers, 3 invited talks, and one invited tutorial were carefully reviewed and selected from 40 submissions. Among the topics covered are formalization of mathematics; program abstraction and logics; data structures and synthesis; security; (non-)termination and automata; program verification; theorem prover development; reasoning about program execution; and prover infrastructure and modeling styles.

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

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

Пълно заглавие Interactive Theorem Proving
Автор Lennart Beringer, Amy Felty
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2012
Брой страници 419
Баркод 9783642323461
ISBN 3642323464
Код Либристо 01661818
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 650
Размери 155 x 235 x 25

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer networking & communications > Network security
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 > Computer security
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Interactive Technologies and Sociotechnical Systems Hongbin Zha / Книга С меки корици
common.buy 61.08 € 119.46 лв
Combinatorial Mathematics III A.P. Street / Книга С меки корици
common.buy 38.17 € 74.64 лв
Interactive Theorem Proving and Program Development Yves Bertot / Книга С твърди корици
common.buy 127.54 € 249.45 лв
Psychoanalysis, Sleep And Dreams Andre Tridon / Книга С меки корици
common.buy 25.03 € 48.95 лв
Secret Geometry of the Dollar Ken McGrath / Книга С меки корици
common.buy 22.80 € 44.60 лв
Allergies Stuart H Young MD / Книга С меки корици
common.buy 19.29 € 37.72 лв
Animals Word Scramble: Book 1 Michael Stachiw / Книга С меки корици
common.buy 9.41 € 18.40 лв
Rambling Rhymes Clare Crooke / Книга С меки корици
common.buy 10.34 € 20.22 лв
What Is Personification? Robin Johnson / Книга С меки корици
common.buy 10.18 € 19.92 лв
Human Rights and the Criminal Justice System Anthony Amatrudo / Книга С меки корици
common.buy 77.27 € 151.12 лв
Top
The Neville Goddard Collection Neville Goddard / Книга С меки корици
common.buy 26.89 € 52.59 лв
Cognitive Psychology Eysenck / Книга С меки корици
common.buy 71.37 € 139.59 лв
Tarot Spreads Jeffrey Price / Книга С меки корици
common.buy 15.77 € 30.84 лв
KING of kings and LORD of lords Bible Lesson 1 K. L. Rich / Книга С меки корици
common.buy 11.79 € 23.05 лв
How to Find a Niche Market...And Make Money M Morgan / Книга С меки корици
common.buy 7.65 € 14.96 лв
Medical Marijuana: Patient Guidebook Dr Stephen Blythe / Книга С меки корици
common.buy 6.72 € 13.14 лв
The Long List Anthology Volume 2: More Stories From the Hugo Award Nomination List David Steffen / Книга С меки корици
common.buy 18.10 € 35.39 лв
The Analysis of Mind Bertrand Russell / Книга С меки корици
common.buy 15.72 € 30.74 лв
Criminal Procedure, Loose-Leaf Version Joel Samaha / Книга С меки корици
common.buy 207.50 € 405.84 лв
Winged with Longing for Better Things Sylvia Sweeney / Книга С меки корици
common.buy 16.49 € 32.26 лв
Typography Essentials Revised and Updated Ina Saltz / Книга С меки корици
common.buy 21.67 € 42.38 лв
How to Read Chinese Drama Patricia Sieber / Книга С меки корици
common.buy 46.85 € 91.64 лв
Infrastructure We Ride On Joseph (City College of New York USA) Berechman / Книга С меки корици
common.buy 111.92 € 218.90 лв
Head Strong Michael D. Matthews / Книга С твърди корици
common.buy 48.46 € 94.78 лв

Вход

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

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

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

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

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