10% OFF

Software Verification eBook

13th International Conference, Vstte 2021, New Haven, Ct, Usa, October 18-19, 2021, And 14th International Workshop, Nsv 2021, Los Angeles, Ca, Usa,

Book eBook
language: english
Publisher: Springer International Publishing, February of 2022 ‧
66,24€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021.

Software Verification

13th International Conference, Vstte 2021, New Haven, Ct, Usa, October 18-19, 2021, And 14th International Workshop, Nsv 2021, Los Angeles, Ca, Usa,

Property Description
ISBN: 9783030955618
Publisher: Springer International Publishing
Release Date: February of 2022
Language: English
Format: eBook
File Format and Compatibility:
Collection: Lecture Notes In Computer Science
Categories: eBooks in English > Computing > Hardware
EAN: 9783030955618
Acessibilidade: Ver características de acessibilidade indicadas pelo editor