Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Numerical Software Verification

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Numerical Software Verification Sergiy Bogomolov
Libristo kód: 15802752
Nakladateľstvo Springer International Publishing AG, február 2017
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Softwar... Celý popis
? points 135 b
55.89 €
Skladom u dodávateľa v malom množstve Odosielame za 13-18 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Uysal Kiz / Kniha Brožovaná
common.buy 10.22 €
Mit dem Reisemobil über die Schweiz nach Frankreich und Spanien Oliver Wozny / Kniha Brožovaná
common.buy 21.46 €
Intermezzo Sally Rooney / Kniha List
common.buy 17.20 €
Demencja. Podstawy Innes Anthea / Kniha Brožovaná
common.buy 17.00 €
La fada negra XAVIER THEROS / Kniha Brožovaná
common.buy 29.86 €
Le second enfer d'Etienne Dolet Etienne Dolet / Kniha Pevná
common.buy 44.55 €
All'improvviso a New York Melissa Hill / Kniha Brožovaná
common.buy 11.94 €
Soziale Akte, Sprechakte Und Textillokutionen Armin Burkhardt / Kniha Pevná
common.buy 168.89 €
Shirayuki aux cheveux rouges - Tome 11 Sorata Akiduki / Kniha Brožovaná
common.buy 10.42 €
Congelación y calidad de la carne Claude Genot / Kniha Brožovaná
common.buy 14.47 €
Logbuch für Venedig oder Bündnis Christine de Pizan Reinhard Gailhofer / Kniha Brožovaná
common.buy 23.38 €
OPERACIÓ MISS BOMBÓ CAT LE BLANC / Kniha Pevná
common.buy 10.72 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Numerical Software Verification
Autor Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2017
Počet strán 107
EAN 9783319542911
ISBN 3319542915
Libristo kód 15802752
Nakladateľstvo Springer International Publishing AG
Váha 1883
Rozmery 155 x 235 x 7

Kategórie

Výpočtové a informačné technológie > Počítačový hardvér > Sieťové zariadenia
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Databázy > Vyhľadávanie informácií
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

My Boring Meeting Survival Guide & Notes Volume I: 6x9 Meeting Notebook and Puzzle Book Gadfly Books / Kniha Brožovaná
common.buy 6.17 €
Creating Guided Meditations for Yourself and Others Alfred Willowhawk / Kniha Brožovaná
common.buy 9.81 €
The Star-Crossed Renaissance: The Quarrel About Astrology And Its Influence In England Don Cameron Allen / Kniha Pevná
common.buy 42.72 €
When I Was a Boy DE BLAUWER KATRIEN / Kniha Pevná
common.buy 48.39 €
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 / Kniha Pevná
common.buy 25.61 €
Mending Matters: Stitch, Patch, and Repair Your Favorite Denim & More Katrina Rodabaugh / Kniha Pevná
common.buy 23.58 €
Mining and Farming in Minecraft Josh Gregory / Kniha Pevná
common.buy 28.95 €
Transforming Conflict through Communication in Personal, Family, and Working Relationships Peter Kellet / Kniha Brožovaná
common.buy 59.94 €
He Went for a Soldier JOHN STRANGE WINTER / Kniha Pevná
common.buy 29.25 €
Pripravujeme
Stones of Christ Church Judith (Archivist) Curthoys / Kniha Pevná
common.buy 36.95 €
History Of The Origin Of The Doctrine Of The Trinity In The Christian Church (1883) Hugh Hutton Stannus / Kniha Brožovaná
common.buy 21.15 €
Mans Supreme Inheritance: Conscious Guidance and Control in Relation to Human Evolution in Civilization F. Matthias Alexander / Kniha Brožovaná
common.buy 32.80 €
Key Words with Peter and Jane Level 3b - We Can Fix It! LADYBIRD / Kniha Pevná
common.buy 4.55 €
Concise History of Veterinary Medicine Susan D. Jones / Kniha Pevná
common.buy 96.09 €
Kentucky Anthology Wade Hall / E-kniha Adobe ePub DRM
common.buy 58.22 €
Understanding Financial Risk Management, Third Edition Corelli / Kniha Brožovaná
common.buy 74.32 €
Cajal. El arte de la ciencia. / Kniha Pevná
common.buy 37.66 €
The 31st Consort, Vol. 1 Momotomoe / Kniha Brožovaná
common.buy 10.01 €
Medical Romance June 2016 Books 1-6 Robin Gianna / E-kniha Adobe ePub DRM
common.buy 20.95 €
Top
Tailored Realities Brandon Sanderson / Kniha Pevná
common.buy 26.62 €
Anti-Aircrafft Defence Against Low-Flying Enemy Aircraft C. H. B. Pridham / Kniha Brožovaná
common.buy 13.05 €
Food Protein Sources N. W. Pirie / Kniha Brožovaná
common.buy 43.03 €
Crystal Field Effects in Metals and Alloys A. Furrer / Kniha Brožovaná
common.buy 109.45 €
From Hegel to Nietzsche Karl Lowith / Kniha Brožovaná
common.buy 50.42 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?