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

Numerical Software Verification

9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Език Английски езикАнглийски език
Книга С меки корици
Книга Numerical Software Verification Sergiy Bogomolov
Код Либристо: 15802752
Издателство Springer International Publishing AG, февруари 2017
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Softwar... Цялото описание
? points 148 b
60.96 €
119.24  лв
Външен склад в ограничено количество Изпращаме след 13-18 дни

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

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

Mit dem Reisemobil über die Schweiz nach Frankreich und Spanien Oliver Wozny / Книга С меки корици
common.buy 22.71 € 44.42 лв
Intermezzo Sally Rooney / Книга Лист
common.buy 18.89 € 36.95 лв
Demencja. Podstawy Innes Anthea / Книга С меки корици
common.buy 17.39 € 34.02 лв
Le second enfer d'Etienne Dolet Etienne Dolet / Книга С твърди корици
common.buy 47.03 € 91.97 лв
Uysal Kiz / Книга С меки корици
common.buy 10.73 € 20.99 лв
Soziale Akte, Sprechakte Und Textillokutionen Armin Burkhardt / Книга С твърди корици
common.buy 177.28 € 346.72 лв
Logbuch für Venedig oder Bündnis Christine de Pizan Reinhard Gailhofer / Книга С меки корици
common.buy 24.67 € 48.25 лв
OPERACIÓ MISS BOMBÓ CAT LE BLANC / Книга С твърди корици
common.buy 12.44 € 24.32 лв
All'improvviso a New York Melissa Hill / Книга С меки корици
common.buy 12.59 € 24.63 лв
La fada negra XAVIER THEROS / Книга С меки корици
common.buy 31.43 € 61.48 лв

This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification. The NSV workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.

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

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

Пълно заглавие Numerical Software Verification
Автор Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2017
Брой страници 107
Баркод 9783319542911
ISBN 3319542915
Код Либристо 15802752
Издателство Springer International Publishing AG
Тегло 1883
Размери 155 x 235 x 7

Категории

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Databases > Information retrieval
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

History Of The Origin Of The Doctrine Of The Trinity In The Christian Church (1883) Hugh Hutton Stannus / Книга С меки корици
common.buy 22.14 € 43.31 лв
Stones of Christ Church Judith (Archivist) Curthoys / Книга С твърди корици
common.buy 38.35 € 75.01 лв
When I Was a Boy DE BLAUWER KATRIEN / Книга С твърди корици
common.buy 50.48 € 98.74 лв
Mending Matters: Stitch, Patch, and Repair Your Favorite Denim & More Katrina Rodabaugh / Книга С твърди корици
common.buy 26.79 € 52.39 лв
Mining and Farming in Minecraft Josh Gregory / Книга С твърди корици
common.buy 30.51 € 59.66 лв
Transforming Conflict through Communication in Personal, Family, and Working Relationships Peter Kellet / Книга С меки корици
common.buy 68.14 € 133.27 лв
He Went for a Soldier JOHN STRANGE WINTER / Книга С твърди корици
common.buy 30.66 € 59.97 лв
My Boring Meeting Survival Guide & Notes Volume I: 6x9 Meeting Notebook and Puzzle Book Gadfly Books / Книга С меки корици
common.buy 6.45 € 12.61 лв
Sentiments of the Professors of Physick, in the Foreign Universities, Concerning the Operations and Method of Curing the Diseases Incident to the eye, John Taylor / Книга С твърди корици
common.buy 26.84 € 52.49 лв
Mans Supreme Inheritance: Conscious Guidance and Control in Relation to Human Evolution in Civilization F. Matthias Alexander / Книга С меки корици
common.buy 34.38 € 67.24 лв
Key Words with Peter and Jane Level 3b - We Can Fix It! LADYBIRD / Книга С твърди корици
common.buy 4.85 € 9.48 лв
Concise History of Veterinary Medicine Susan D. Jones / Книга С твърди корици
common.buy 100.46 € 196.48 лв
Kentucky Anthology Wade Hall / E-книга Adobe ePub DRM
common.buy 59.93 € 117.22 лв
Understanding Financial Risk Management, Third Edition Corelli / Книга С меки корици
common.buy 77.33 € 151.24 лв
Cajal. El arte de la ciencia. / Книга С твърди корици
common.buy 43.93 € 85.92 лв
The 31st Consort, Vol. 1 Momotomoe / Книга С меки корици
common.buy 10.63 € 20.79 лв
Medical Romance June 2016 Books 1-6 Robin Gianna / E-книга Adobe ePub DRM
common.buy 21.88 € 42.80 лв
Tailored Realities Brandon Sanderson / Книга С твърди корици
common.buy 28.18 € 55.12 лв
Anti-Aircrafft Defence Against Low-Flying Enemy Aircraft C. H. B. Pridham / Книга С меки корици
common.buy 13.68 € 26.75 лв
Food Protein Sources N. W. Pirie / Книга С меки корици
common.buy 45.06 € 88.14 лв
Crystal Field Effects in Metals and Alloys A. Furrer / Книга С меки корици
common.buy 108.36 € 211.93 лв
A SURVEY OF GREEK CIVILIZATION JOHN PENTLA MAHAFFY / Книга С твърди корици
common.buy 34.38 € 67.24 лв
Summer Stock Phipps-J / Книга С твърди корици
common.buy 21.57 € 42.20 лв
Complete Illustrated Guide to Beading & Making Jewellery Ann Kay / Книга С твърди корици
common.buy 17.08 € 33.41 лв

Вход

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

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

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

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

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