Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

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č

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Numerical Software Verification

Name: Numerical Software Verification
Brand: Springer
SKU: 41001603
Price: 1479 CZK
Availability: InStock
Author: Majid Zamani
ISBN: 9783030284237

12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings

Majid Zamani

Damien Zufferey

Jazyk

Angličtina

E-kniha Adobe ePub DRM

Libristo kód: 41001603

Nakladatelství Springer, srpen 2019

This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verif... Celý popis

Libristo kód: 41001603

148 b

1 479 Kč

Skladem Ihned ke stažení

Zákazníci také koupili

PRLUDES Sergej W. Rachmaninow

Brožovaná

641 Kč

Trabajamos los valores en Primaria. Actividades para los tres ciclos Manuela Guzmán González

Brožovaná

350 Kč

Invatam Fructele Glorya Phillips

Brožovaná

113 Kč

This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019.The 5 full papers presented together with 2 short papers, 3 abstracts of invited talks, and 2 tutorial papers 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.