Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Numerical Software Verification

Name: Numerical Software Verification
Brand: Springer International Publishing AG
SKU: 16495678
Price: 58.2 EUR
Availability: InStock
Author: Alessandro Abate
ISBN: 9783319635002

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

Alessandro Abate

Sylvie Boldo

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 16495678

Nakladnici Springer International Publishing AG, srpanj 2017

This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verif... Cijeli opis

Libristo kod: 16495678

142 b

58.20 €

Vanjske zalihe Šaljemo za 10-16 dana

Do 30 dana za povrat

Kupci su kupili i

Kuchařka pro syna Filip Vracovský

Tvrdi uvez

12.94 €

Annali D'Italia, Volume 11 Giuseppe Catalani

Meki uvez

21.28 €

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

Meki uvez

21.47 €

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

Meki uvez

14.34 €

Grundlagen der Investitionsrechnung Martina Röhrich

Tvrdi uvez

28.19 €

Scioa. L’Africa di Arthur Rimbaud

Knjiga

17.05 €

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.