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č Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 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 International Publishing AG
SKU: 16495678
Price: 1355 CZK
Availability: InStock
Author: Alessandro Abate
ISBN: 9783319635002

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

Alessandro Abate

Sylvie Boldo

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 16495678

Nakladatelství Springer International Publishing AG, červenec 2017

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

Libristo kód: 16495678

136 b

1 355 Kč

Skladem u dodavatele Odesíláme za 14-21 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Kuchařka pro syna Filip Vracovský

Pevná

295 Kč

Residentes chinos en Espana y su relacion con la vivienda Wanchu Zhong

Brožovaná

491 Kč

Der Traum, die Reise, die Ewigkeit und Gott Mike Dooley

Brožovaná

329 Kč

Grundlagen der Investitionsrechnung Martina Röhrich

Pevná

649 Kč

Scioa. L’Africa di Arthur Rimbaud

Kniha

438 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.