Numerical Software Verification
☆☆☆☆☆
(0 reviews)
Lowest price (incl. delivery)
7 164,00 JPY
Typical price306,55 PLN
Lowest (90 days)35,99 PLN
Offers2
Last updated1 giorno fa
| Venditore | Product price | Delivery | Totale | Disponibilità | Updated | |
|---|---|---|---|---|---|---|
| SP Springer Nature Author | 7 149,00 JPY | 15,00 JPY | 7 164,00 JPY | Disponibile | 1 giorno fa | View offer |
| SP SpringerNatureLink Shop INT | 59,00 EUR | 19,00 EUR | 78,00 EUR | Disponibile | 1 giorno fa | View offer |
I prezzi e la disponibilità possono variare. Ultimo aggiornamento: 08.08.2026 23:08.
0,0
☆☆☆☆☆
0 reviews
5★
0%
4★
0%
3★
0%
2★
0%
1★
0%
Product reviews
No reviews yet — be the first!
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.
Similar products
Patient Safety Coaching
from $91.97
Ethnography and Diversity
from $69.30
Smart Villages
from $91.97
Nuclear Non-Proliferation in International Law - Volume VI
from $91.97
The Price of Freedom
from $91.97
Eco-Social Policy in the OECD and the World Bank
from $91.97
Special Topics in Policing
from $122.58
Music from the Heart
from $91.97