Numerical Software Verification

Author : Damien Zufferey,Majid Zamani

Paperback

Published : Saturday 3 August 2019

ISBN : 9783030284220

Price : €52.64

Description

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.

You may also like ...

Numerical Software Verification

by Damien Zufferey,Majid Zamani

Paperback

03 Aug 2019

Information technology: general topics

€52.64

Extended stock – Dispatch 5-7 days

Connectives and Discourse Relations

by Liesbeth Degand,Sandrine Zufferey

Hardback

29 Feb 2024

Semantics, discourse analysis, stylistics

€111.15

Extended stock – Dispatch 5-7 days

The Complexities of Home in Social Work

by Carole Zufferey,Christopher Horsell

Paperback

29 Jan 2024

Society and culture: general

€45.62

Extended stock – Dispatch 5-7 days

The Routledge Handbook of Experimental ...

by Pascal Gygax,Sandrine Zufferey

Hardback

04 Sep 2023

Language: reference and general

€251.55

Extended stock – Dispatch 5-7 days

Reviews