Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

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

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ł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Numerical Software Verification

Name: Numerical Software Verification
Brand: Springer
SKU: 41041917
Price: 255.33 PLN
Availability: InStock
Author: Alessandro Abate
ISBN: 9783319635019

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

Alessandro Abate

Sylvie Boldo

Język

Angielski

E-book Adobe ePub DRM

Kod Libristo: 41041917

Wydawnictwo Springer, lipiec 2017

This book constitutes the proceedings of the 10th International Workshop on Numerical Software Veri... Cały opis

Kod Libristo: 41041917

145 b

255.33 zł

Dostępna Produkt cyfrowy - wysyłamy od razu

Klienci kupili także

Śmierć Anglika Magdalen Nabb

Miękka

38.45 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

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 E-book - Adobe ePub DRM

Data wydania 2017

EAN 9783319635019

Kod Libristo 41041917

Wydawnictwo Springer

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania > Testowanie i weryfikacja oprogramowania