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: 41041917
Price: 1455 CZK
Availability: InStock
Author: Alessandro Abate
ISBN: 9783319635019

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

Alessandro Abate

Sylvie Boldo

Jazyk

Angličtina

E-kniha Adobe ePub DRM

Libristo kód: 41041917

Nakladatelství Springer, červenec 2017

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

Libristo kód: 41041917

146 b

1 455 Kč

Skladem Ihned ke stažení

Zákazníci také koupili

Śmierć Anglika Magdalen Nabb

Brožovaná

256 Kč

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.