Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Numerical Software Verification

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

Język AngielskiAngielski
Książka Miękka
Książka Numerical Software Verification Sergiy Bogomolov
Kod Libristo: 15802752
Wydawnictwo Springer International Publishing AG, luty 2017
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Softwar... Cały opis
? points 142 b
Gwarancja
najlepszej
ceny ▸
247.90 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

30 dni na zwrot towaru

Klienci kupili także

Mit dem Reisemobil über die Schweiz nach Frankreich und Spanien Oliver Wozny / Książka Miękka
common.buy 91.12 zł
Intermezzo Sally Rooney / Książka Karta
common.buy 75.87 zł
Demencja. Podstawy Innes Anthea / Książka Miękka
common.buy 57.10 zł
Le second enfer d'Etienne Dolet Etienne Dolet / Książka Twarda
common.buy 188.68 zł
Uysal Kiz / Książka Miękka
common.buy 43.25 zł
Soziale Akte, Sprechakte Und Textillokutionen Armin Burkhardt / Książka Twarda
common.buy 715.31 zł
Logbuch für Venedig oder Bündnis Christine de Pizan Reinhard Gailhofer / Książka Miękka
common.buy 98.95 zł
OPERACIÓ MISS BOMBÓ CAT LE BLANC / Książka Twarda
common.buy 50.47 zł
All'improvviso a New York Melissa Hill / Książka Miękka
common.buy 48.37 zł
La fada negra XAVIER THEROS / Książka Miękka
common.buy 126.45 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Numerical Software Verification
Autor Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar
Język Angielski
Oprawa Książka - Miękka
Data wydania 2017
Liczba stron 107
EAN 9783319542911
ISBN 3319542915
Kod Libristo 15802752
Wydawnictwo Springer International Publishing AG
Waga 1883
Wymiary 155 x 235 x 7

Kategoria

Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Urządzenia sieciowe
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Bazy danych > Wyszukiwanie informacji
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

History Of The Origin Of The Doctrine Of The Trinity In The Christian Church (1883) Hugh Hutton Stannus / Książka Miękka
common.buy 94.03 zł
Stones of Christ Church Judith (Archivist) Curthoys / Książka Twarda
common.buy 163.79 zł
When I Was a Boy DE BLAUWER KATRIEN / Książka Twarda
common.buy 205.44 zł
Arboretum America Diana Beresford-Kroeger / Książka Miękka
common.buy 113.71 zł
Mending Matters: Stitch, Patch, and Repair Your Favorite Denim & More Katrina Rodabaugh / Książka Twarda
common.buy 113.71 zł
Mining and Farming in Minecraft Josh Gregory / Książka Twarda
common.buy 122.64 zł
Transforming Conflict through Communication in Personal, Family, and Working Relationships Peter Kellet / Książka Miękka
common.buy 289.45 zł
He Went for a Soldier JOHN STRANGE WINTER / Książka Twarda
common.buy 130.17 zł
My Boring Meeting Survival Guide & Notes Volume I: 6x9 Meeting Notebook and Puzzle Book Gadfly Books / Książka Miękka
common.buy 27.49 zł
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 / Książka Twarda
common.buy 114.01 zł
Mans Supreme Inheritance: Conscious Guidance and Control in Relation to Human Evolution in Civilization F. Matthias Alexander / Książka Miękka
common.buy 146.13 zł
Key Words with Peter and Jane Level 3b - We Can Fix It! LADYBIRD / Książka Twarda
common.buy 19.26 zł
Concise History of Veterinary Medicine Susan D. Jones / Książka Twarda
common.buy 426.55 zł
Kentucky Anthology Wade Hall / E-book Adobe ePub DRM
common.buy 242.48 zł
Understanding Financial Risk Management, Third Edition Corelli / Książka Miękka
common.buy 328.49 zł
Cajal. El arte de la ciencia. / Książka Twarda
common.buy 177.64 zł
The 31st Consort, Vol. 1 Momotomoe / Książka Miękka
common.buy 45.16 zł
Medical Romance June 2016 Books 1-6 Robin Gianna / E-book Adobe ePub DRM
common.buy 88.41 zł
Tailored Realities Brandon Sanderson / Książka Twarda
common.buy 112.30 zł
Anti-Aircrafft Defence Against Low-Flying Enemy Aircraft C. H. B. Pridham / Książka Miękka
common.buy 58.20 zł
Food Protein Sources N. W. Pirie / Książka Miękka
common.buy 191.29 zł
Crystal Field Effects in Metals and Alloys A. Furrer / Książka Miękka
common.buy 436.59 zł
A SURVEY OF GREEK CIVILIZATION JOHN PENTLA MAHAFFY / Książka Twarda
common.buy 146.13 zł
Summer Stock Phipps-J / Książka Twarda
common.buy 91.63 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?