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 Kurier 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

10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Numerical Software Verification Alessandro Abate
Kod Libristo: 16495678
Wydawnictwo Springer International Publishing AG, lipiec 2017
This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verif... Cały opis
? points 141 b
Gwarancja
najlepszej
ceny ▸
249.80 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

Nawet do 30 dni na zwrot

Klienci kupili także

filo teso. I disturbi mentali di adolescenti raccontati da due amici improbabili: un neuropsichiatra infantile e un giornalista Stefano Vicari / Książka Miękka
common.buy 66.29 zł
Residentes chinos en Espana y su relacion con la vivienda Wanchu Zhong / Książka Miękka
common.buy 92.61 zł
Der Traum, die Reise, die Ewigkeit und Gott Mike Dooley / Książka Miękka
common.buy 61.83 zł
Scioa. L’Africa di Arthur Rimbaud / Książka Książka
common.buy 74.69 zł

This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event. The 3 full papers presented together with 3 short papers, 2 keynote abstracts and 4 invited abstracts were carefully reviewed and selected from numerous submissions. The NSV 2017 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 Alessandro Abate, Sylvie Boldo
Język Angielski
Oprawa Książka - Miękka
Data wydania 2017
Liczba stron 115
EAN 9783319635002
ISBN 331963500X
Kod Libristo 16495678
Wydawnictwo Springer International Publishing AG
Waga 2234
Wymiary 155 x 235 x 8

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania > Testowanie i weryfikacja oprogramowania
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ć

From German Prisoner of War to American Citizen Barbara Schmitter Heisler / Książka Miękka
common.buy 173.88 zł
Adventures Of ELT The Super Dog Daniel R Pard / Książka Miękka
common.buy 65.68 zł
Return to Circa '96 Bob Sawatzki / Książka Miękka
common.buy 114.67 zł
Grow Great Vegetables in North Carolina Ira Wallace / Książka Miękka
common.buy 67.50 zł
Lonely Planet Experience Italy Erica Firpo / Książka Miękka
common.buy 125.60 zł
Wing Chun Punching Richard Wonnacott / Książka Miękka
common.buy 50.30 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?