Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer International Publishing AG, únor 2017
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Softwar... Celý popis
? points 135 b
1 350 Kč
Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Mit dem Reisemobil über die Schweiz nach Frankreich und Spanien Oliver Wozny / Kniha Brožovaná
common.buy 490 Kč
Intermezzo Sally Rooney / Kniha List
common.buy 393 Kč
Demencja. Podstawy Innes Anthea / Kniha Brožovaná
common.buy 403 Kč
Le second enfer d'Etienne Dolet Etienne Dolet / Kniha Pevná
common.buy 1 014 Kč
Uysal Kiz / Kniha Brožovaná
common.buy 234 Kč
Soziale Akte, Sprechakte Und Textillokutionen Armin Burkhardt / Kniha Pevná
common.buy 3 868 Kč
Logbuch für Venedig oder Bündnis Christine de Pizan Reinhard Gailhofer / Kniha Brožovaná
common.buy 532 Kč
OPERACIÓ MISS BOMBÓ CAT LE BLANC / Kniha Pevná
common.buy 288 Kč
All'improvviso a New York Melissa Hill / Kniha Brožovaná
common.buy 290 Kč
La fada negra XAVIER THEROS / Kniha Brožovaná
common.buy 682 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Numerical Software Verification
Autor Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2017
Počet stran 107
EAN 9783319542911
ISBN 3319542915
Libristo kód 15802752
Nakladatelství Springer International Publishing AG
Váha 1883
Rozměry 155 x 235 x 7

Kategorie

Výpočetní a informační technologie > Počítačový hardware > Síťová zařízení
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Databáze > Vyhledávání informací
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Umělá inteligence
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

History Of The Origin Of The Doctrine Of The Trinity In The Christian Church (1883) Hugh Hutton Stannus / Kniha Brožovaná
common.buy 511 Kč
Stones of Christ Church Judith (Archivist) Curthoys / Kniha Pevná
common.buy 930 Kč
When I Was a Boy DE BLAUWER KATRIEN / Kniha Pevná
common.buy 1 173 Kč
Mending Matters: Stitch, Patch, and Repair Your Favorite Denim & More Katrina Rodabaugh / Kniha Pevná
common.buy 568 Kč
Mining and Farming in Minecraft Josh Gregory / Kniha Pevná
common.buy 661 Kč
Transforming Conflict through Communication in Personal, Family, and Working Relationships Peter Kellet / Kniha Brožovaná
common.buy 1 585 Kč
He Went for a Soldier JOHN STRANGE WINTER / Kniha Pevná
common.buy 707 Kč
My Boring Meeting Survival Guide & Notes Volume I: 6x9 Meeting Notebook and Puzzle Book Gadfly Books / Kniha Brožovaná
common.buy 149 Kč
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 619 Kč
Mans Supreme Inheritance: Conscious Guidance and Control in Relation to Human Evolution in Civilization F. Matthias Alexander / Kniha Brožovaná
common.buy 794 Kč
Key Words with Peter and Jane Level 3b - We Can Fix It! LADYBIRD / Kniha Pevná
common.buy 103 Kč
Concise History of Veterinary Medicine Susan D. Jones / Kniha Pevná
common.buy 2 323 Kč
Kentucky Anthology Wade Hall / E-kniha Adobe ePub DRM
common.buy 1 384 Kč
Understanding Financial Risk Management, Third Edition Corelli / Kniha Brožovaná
common.buy 1 796 Kč
Cajal. El arte de la ciencia. / Kniha Pevná
common.buy 1 014 Kč
The 31st Consort, Vol. 1 Momotomoe / Kniha Brožovaná
common.buy 225 Kč
Medical Romance June 2016 Books 1-6 Robin Gianna / E-kniha Adobe ePub DRM
common.buy 505 Kč
Tailored Realities Brandon Sanderson / Kniha Pevná
common.buy 555 Kč
Anti-Aircrafft Defence Against Low-Flying Enemy Aircraft C. H. B. Pridham / Kniha Brožovaná
common.buy 316 Kč
Food Protein Sources N. W. Pirie / Kniha Brožovaná
common.buy 1 041 Kč
Crystal Field Effects in Metals and Alloys A. Furrer / Kniha Brožovaná
common.buy 2 357 Kč
A SURVEY OF GREEK CIVILIZATION JOHN PENTLA MAHAFFY / Kniha Pevná
common.buy 794 Kč
Summer Stock Phipps-J / Kniha Pevná
common.buy 491 Kč
Complete Illustrated Guide to Beading & Making Jewellery Ann Kay / Kniha Pevná
common.buy 342 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?